def restore.block.batch.checked

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

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

615def restore.block.batch.checked(
616  input: Bytes.Bytes,
617  +offset: Nat,
618  index: U32,
619  record_count: U32,
620  frame_length: U32,
621  +block_length: Nat,
622  batch: EntryBatch,
623  valid: Bool
624) -> Result<&1, &1, Error, BlockHeader & List<&1, ByteMemTable.Entry>>:
625  match batch:
626    case EntryBatch{entries, _}:
627      match valid:
628        case False{}: Fail{CountMismatch{}}
629        case True{}:
630          Done{(BlockHeader{input, offset, index, record_count,
631            frame_length, block_length}, entries)}