def after.pick

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

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd
import bend-toon-codec@0.1.0.0/src/split.bend as S

101def after.pick(+colon: Bool, +brace: Bool, +n: U32, +d: U32, +s: String) -> Result<&2, &2, String, Hdr>:
102  match colon brace:
103    case True{} _:
104      Done{Hdr{n, d, Nil{}, Hd.drop(s)}}
105    case False{} True{}:
106      fields.cut(n, d, Hd.drop(s), S.find_unq(Hd.drop(s), 125, 0, 0))
107    case False{} False{}:
108      bad("expected : or a field list after the length")