def decode

bend-kit-http2@0.4.0.0 · hpack.bend:504

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

504def decode(block: Bytes.Bytes, st: State) -> Maybe<&1, State & List<&2, Field>>:
505  Bytes.Bytes{+length, buf} = block
506  decode.go(1n+U32.to_nat(length), U32.is_eq(length, 0),
507    Cursor{Bytes.Bytes{length, buf}, 0, length}, st, Nil{}, False{})