~/jendhub

def release_succeeded

mylsm-lsm-store@0.6.0.1 · src/DbLock.bend:121

import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
import Base
import mylsm-lsm-store@0.6.0.1/src/DurableError.bend as DurableError

121# Closes the file after a successful unlock.
122def release_succeeded(file: File) -> IO(Result<&1, &1, DurableError.Error, Unit>):
123  do IO<Result<&1, &1, DurableError.Error, Unit>>:
124    _closed : Unit <- File.close(file)
125    return Done{Unit{}}

Uses (8)

Used by (1)