def wal.locked.read.closed

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

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

731def wal.locked.read.closed(
732  file: File,
733  result: Result<&1, &1, U32 & String, Bytes.Bytes>,
734  lock: DbLock.Lock,
735  path: String,
736  size: Nat,
737  records: List<&2, MemTable.Entry>
738) -> IO(TableValidation):
739  do IO<TableValidation>:
740    _closed : Unit <- File.close(file)
741    return wal.locked.read.classify(result, lock, path, size, records)