def wal.read.pair
mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:566
import mylsm-lsm-store@0.6.0.1/src/transfer/MigrateIo.bend as MigrateIo
import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
566
567def wal.read.pair(
568 pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>,
569 lock: DbLock.Lock,
570 path: String
571) -> IO(Result<&1, &1, Error, Nat>):
572 match pair:
573 case (file, result): wal.read.closed(file, result, lock, path)