def item.key.bound.read.offset

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorCodec.bend:187

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

187# Checks that the key length leaves room for the value length word.
188def item.key.bound.read.offset(
189  payload: Bytes.Bytes,
190  size: U32,
191  key_lengths: U32 & U32
192) -> Decision:
193  match key_lengths:
194    case (offset_length, retained_length):
195      item.key.bound.read(Bytes.get.u32be(payload,
196        U32.from_nat(Nat.add(5n, U32.to_nat(offset_length)))), size,
197        retained_length)