def parse.pick

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

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
import bend-toon-codec@0.1.0.0/src/text.bend as T

62def parse.pick(+quoted: Bool, +tok: String) -> Result<&2, &2, String, J.Json>:
63  match quoted:
64    case True{}:
65      quoted.end(T.unq(Hd.drop(tok)))
66    case False{}:
67      Done{bare(tok)}