def field.read.copies

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorOpenCodec.bend:189

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

189# Keeps one source for slicing while reading its fixed-width length field.
190def field.read.copies(
191  sources: Bytes.Bytes & Bytes.Bytes,
192  total: U32,
193  offsets: U32 & U32
194) -> BoundResult:
195  match sources:
196    case (payload, measured):
197      match offsets:
198        case (slice_offset, read_offset):
199          field.read.parsed(payload, total, slice_offset,
200            Bytes.get.u32be(measured, read_offset))