~/jendhub

def header.try

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

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

130def header.try(+depth: U32, +text: String) -> Result<&2, &2, String, H.Hdr>:
131  header.try.pick(U32.is_zero(depth) && Hd.lead(text, 91), text)

Uses (8)

Used by (1)