~/jendhub

def range.decode.totals

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

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

264# Parses range bounds with separate total lengths for IO-free validation.
265def range.decode.totals(
266  payload: Bytes.Bytes,
267  snapshot_id: U32,
268  totals: U32 & U32 & U32
269) -> Decision:
270  match totals:
271    case (read_total, (upper_total, finish_total)):
272      range.finish(range.upper(field.read(payload, read_total, 8), upper_total),
273        snapshot_id, finish_total)

Uses (8)

Used by (1)