def measure.lookup.checksum.result

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

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

725def measure.lookup.checksum.result(
726  pair: Bytes.Bytes & Bool,
727  query: Bytes.Bytes,
728  +base: U32,
729  +count: U32,
730  +total: U32
731) -> Result<&1, &1, Wal.Error, ValueMetadata>:
732  match pair:
733    case (frame, valid):
734      match valid:
735        case True{}:
736          measure.lookup.records.bound(frame, query, count,
737            U32.add(base, 8), U32.add(base, U32.sub(total, 32)))
738        case False{}: Fail{Wal.ChecksumMismatch{}}