def restore.finish

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

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

822def restore.finish(
823  measured: Bytes.Bytes & U32,
824  +offset: Nat,
825  +entry_count: U32,
826  +block_count: U32,
827  +decoded_count: Nat,
828  reversed: List<&1, ByteMemTable.Entry>
829) -> Result<&1, &1, Error, Decoded>:
830  match measured:
831    case (input, size):
832      restore.finish.count.valid(input, offset, entry_count, block_count,
833        reversed, size,
834        U32.is_eq(U32.from_nat(decoded_count), entry_count))