def cleanup.handle

mylsm-lsm-store@0.6.0.1 · src/transfer/RestoreIo.bend:145

import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteDurableDb.bend as Db

145def cleanup.handle(
146  path: String,
147  handle: Db.Handle,
148  error: Db.Error
149) -> IO(Result<&1, &1, Error, Unit>):
150  do IO<Result<&1, &1, Error, Unit>>:
151    _closed : Result<&1, &1, Db.Error, Unit> <- Db.close(handle)
152    cleanup.result(path, Fail{error})

Uses (10)

Used by (2)