def decode.start

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

import bendonnect-rpc@0.1.0.0/src/envelope.bend as Envelope

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

101# Reads one envelope off the front of buf: Need when more bytes are required, Got with
102# the remaining bytes, Bad when the announced size exceeds max.
103def decode.start(r: Bytes.Bytes & U32, +max: U32) -> Step:
104  (b, +n) = r
105  decode.hdr(U32.is_lt(n, 5), b, n, max)

Uses (7)

Used by (1)

bendonnect-rpc@0.1.0.0/src/envelope:decode