def read_blob.fits

bend-kit-protobuf@0.2.0.0 · protobuf.bend:140

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

140def read_blob.fits(fits: Bool, c: B.Cursor, +n: U32) -> Result<&2, &1, Error, B.Cursor & B.Bytes>:
141  match fits:
142    case False{}:
143      Fail{Incomplete{}}
144    case True{}:
145      B.Cursor{b, +pos, start, end} = c
146      read_blob.slice((pos + n : U32), start, end, B.slice(b, pos, n))