def record.measure.value.checked

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

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

408def record.measure.value.checked(
409  measured: Bytes.Bytes & U32,
410  key: Bytes.Bytes,
411  +value_length: U32,
412  offsets: U32 & U32
413) -> RecordMeasure:
414  match measured:
415    case (frame, total):
416      match offsets:
417        case (checked_offset, result_offset):
418          record.measure.value.result(frame, key, value_length, result_offset,
419            U32.is_le(value_length, StorageBytes.MAX_RECORD_BYTES()) &&
420              bytes.interval.length(total, U32.add(checked_offset, 4),
421                value_length))