def close.failed

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:164

import mylsm-lsm-store@0.6.0.1/src/ByteWalIo.bend as ByteWalIo
import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable

164def close.failed(file: File, failure: U32 & String) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
165  do IO<Result<&1, &1, U32 & String, ByteMemTable.Table>>:
166    _closed : Unit <- File.close(file)
167    return Fail{failure}

Uses (11)

Used by (4)