~/jendhub

def record.measure.key.checked

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

import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
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

489def record.measure.key.checked(
490  measured: Bytes.Bytes & U32,
491  tag: U32,
492  +key_length: U32,
493  offsets: U32 & U32 & U32
494) -> RecordMeasure:
495  match measured:
496    case (frame, total):
497      match offsets:
498        case (checked_offset, (slice_offset, value_offset)):
499          record.measure.key.result(frame, tag, key_length,
500            U32.is_le(key_length, StorageBytes.MAX_RECORD_BYTES()) &&
501              bytes.interval.length(total, checked_offset, key_length),
502            (slice_offset, U32.add(value_offset, key_length)))

Uses (11)

Used by (1)