def quoted.pick

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

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd
import bend-toon-codec@0.1.0.0/src/hdr.bend as H

45def quoted.pick(+colon: Bool, +brack: Bool, +k: String, +rest: String) -> Result<&2, &2, String, Ent>:
46  match colon brack:
47    case True{} _:
48      val(Hd.mark() ++ k, Hd.drop(rest))
49    case False{} True{}:
50      hdr.done(Some{Hd.mark() ++ k}, H.parse(rest))
51    case False{} False{}:
52      Done{ENot{}}