def decode.len

bend-kit-runner@0.13.0.1 · runner.bend:981

import bend-kit-runner@0.13.0.1/runner.bend as Runner

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

981def decode.len(~A: Data, ~pdec: Bytes.Bytes -> Maybe<&2, A>, ok: Bool, +len: U32, b: Bytes.Bytes) -> Maybe<&2, Op<A>>:
982  match ok:
983    case False{}:
984      None{}
985    case True{}:
986      decode.tag(~A, ~pdec, len, get.u32(Bytes.get.u32le(b, 0)))

Uses (8)

Used by (1)

bend-kit-runner@0.13.0.1/runner:decode