def measure.lookup.bounded.valid

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

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

746def measure.lookup.bounded.valid(
747  frame: Bytes.Bytes,
748  query: Bytes.Bytes,
749  +base: U32,
750  +count: U32,
751  +total: U32,
752  valid: Bool
753) -> Result<&1, &1, Wal.Error, ValueMetadata>:
754  match valid:
755    case False{}: Fail{Wal.Malformed{}}
756    case True{}:
757      measure.lookup.checksum.result(
758        measure.checksum.range(frame, base, total), query, base, count, total)