def header.try.pick

bend-toon-codec@0.1.0.0 · src/decode.bend:123

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

123def header.try.pick(+root: Bool, +text: String) -> Result<&2, &2, String, H.Hdr>:
124  match root:
125    case True{}:
126      H.parse(text)
127    case False{}:
128      Fail{"not a root header"}