def read_at.exact.complete

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:156

import Base
import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

156def read_at.exact.complete(
157  bytes: Bytes.Bytes,
158  lengths: Nat & Nat,
159  needed: U32
160) -> Result<&1, &1, U32 & String, SstStreamIo.ExactResult>:
161  match lengths:
162    case (actual, _):
163      Done{SstStreamIo.ExactResult{bytes,
164        U32.is_eq(U32.from_nat(actual), needed)}}