def key.pick

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

import Base
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

87def key.pick(+quoted: Bool, +tok: String) -> Result<&2, &2, String, String>:
88  match quoted:
89    case True{}:
90      key.end(T.unq(Hd.drop(tok)))
91    case False{}:
92      Done{tok}