def wal.locked.valid.batches

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:692

import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal

692def wal.locked.valid.batches(
693  measured: List<&2, Wal.Batch> & Nat,
694  lock: DbLock.Lock,
695  path: String,
696  size: Nat,
697  records: List<&2, MemTable.Entry>
698) -> TableValidation:
699  match measured:
700    case (batches, frames):
701      table.validation.snapshot(lock, path,
702        Done{(frames, size)}, records, batches)