def table.finished.records

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

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

129def table.finished.records(
130  lock: DbLock.Lock,
131  path: String,
132  result: Result<&1, &1, Error, Nat & Nat>,
133  records: List<&2, MemTable.Entry>
134) -> IO(TableValidation):
135  IO.pure(TableValidation, table.validation.records(lock, path, result, records))