def wal.locked.read.pair

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

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 bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

743def wal.locked.read.pair(
744  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>,
745  lock: DbLock.Lock,
746  path: String,
747  size: Nat,
748  records: List<&2, MemTable.Entry>
749) -> IO(TableValidation):
750  match pair:
751    case (file, result): wal.locked.read.closed(file, result, lock, path, size, records)