def wal.read.closed

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

import Base
import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import mylsm-lsm-store@0.6.0.1/src/DurableError.bend as DurableError
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

554def wal.read.closed(
555  file: File,
556  result: Result<&1, &1, U32 & String, Bytes.Bytes>,
557  lock: DbLock.Lock,
558  path: String
559) -> IO(Result<&1, &1, Error, Nat>):
560  do IO<Result<&1, &1, Error, Nat>>:
561    _closed : Unit <- File.close(file)
562    released : Result<&1, &1, DurableError.Error, Unit> <-
563      DbLock.release(lock, "migrate-verify", path)
564    return wal.read.dispatch(result, released)