def literal.result

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

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

236def literal.result(m: Maybe<&2, String>, b: Bytes.Bytes, +at: U32, +count: U32, +length: U32) -> Maybe<&1, Cursor & String>:
237  match m:
238    case None{}:
239      None{}
240    case Some{text}:
241      Some{(Cursor{b, (at + count : U32), length}, text)}