def measure.block.checksum.result
mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:1393
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteWal.bend as ByteWal
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
1393def measure.block.checksum.result(
1394 pair: Bytes.Bytes & Bool,
1395 query: Bytes.Bytes,
1396 +record_count: U32,
1397 +payload_length: U32
1398) -> Result<&1, &1, Wal.Error, ByteWal.ValueMetadata>:
1399 match pair:
1400 case (block, valid):
1401 match valid:
1402 case True{}:
1403 measure.block.inner(block, query, record_count, payload_length)
1404 case False{}: Fail{Wal.ChecksumMismatch{}}