def val.pick

bend-toon-codec@0.1.0.0 · src/entry.bend:25

import Base
import bend-toon-codec@0.1.0.0/src/prim.bend as P
import bend-toon-codec@0.1.0.0/src/hdr.bend as H

25def val.pick(+blank: Bool, +arr: Bool, +k: String, +t: String) -> Result<&2, &2, String, Ent>:
26  match blank arr:
27    case True{} _:
28      Done{EOpen{k}}
29    case False{} True{}:
30      Done{EArr{Some{k}, H.empty()}}
31    case False{} False{}:
32      val.done(k, P.parse(t))