def restore.block.batch.measure

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:634

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

634def restore.block.batch.measure(
635  input: Bytes.Bytes,
636  +offset: Nat,
637  index: U32,
638  +record_count: U32,
639  frame_length: U32,
640  +block_length: Nat,
641  batch: EntryBatch
642) -> Result<&1, &1, Error, BlockHeader & List<&1, ByteMemTable.Entry>>:
643  match batch:
644    case EntryBatch{_, +count}:
645      restore.block.batch.checked(input, offset, index, record_count,
646        frame_length, block_length, batch,
647        Nat.is_eq(count, U32.to_nat(record_count)))