def decode.flags

bendonnect-rpc@0.1.0.0 · src/envelope.bend:86

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

86def decode.flags(r: Bytes.Bytes & Maybe<&2, U32>, +n: U32, +max: U32) -> Step:
87  (buf, m) = r
88  match m:
89    case None{}:
90      Bad{"truncated envelope header"}
91    case Some{+flags}:
92      decode.len(Bytes.get.u32be(buf, 1), flags, n, max)