def measure.lookup.bounded.measured

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

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

760def measure.lookup.bounded.measured(
761  measured: Bytes.Bytes & U32,
762  query: Bytes.Bytes,
763  +base: U32,
764  +frame_length: U32,
765  +count: U32,
766  +total: U32
767) -> Result<&1, &1, Wal.Error, ValueMetadata>:
768  match measured:
769    case (frame, buffer_length):
770      measure.lookup.bounded.valid(frame, query, base, count, total,
771        frame.bounds.valid(frame_length, count, total) &&
772          bytes.interval.length(buffer_length, base, total))