~/jendhub

def record.value.length.checked

mylsm-lsm-store@0.6.0.1 · src/ByteWal.bend:212

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

212# Parses the value length and validates its exact byte range.
213def record.value.length.checked(
214  pair: Bytes.Bytes & U32,
215  +length: U32,
216  +value_offset: U32
217) -> DecodedRecord:
218  match pair:
219    case (frame, total):
220      record.value.checked(frame, length, value_offset,
221        bytes.interval.length(total, value_offset, length))

Uses (7)

Used by (1)