def parse.pick

bend-toon-codec@0.1.0.0 · src/hdr.bend:156

import Base
import bend-toon-codec@0.1.0.0/src/num.bend as N
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

156def parse.pick(+open: Bool, +s: String) -> Result<&2, &2, String, Hdr>:
157  match open:
158    case True{}:
159      len(N.span_digits(Hd.drop(s)))
160    case False{}:
161      bad("expected [")