def parse

bend-toon-codec@0.1.0.0 · src/prim.bend:69

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

69# A trimmed token as a value.
70def parse(+tok: String) -> Result<&2, &2, String, J.Json>:
71  parse.pick(Hd.lead(tok, 34), tok)