def unlock_file

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

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

139# Unlocks the file and closes it after the result.
140def unlock_file(file: File, operation: String, path: String) -> IO(Result<&1, &1, DurableError.Error, Unit>):
141  do IO<Result<&1, &1, DurableError.Error, Unit>>:
142    pair : File & Result<&1, &1, U32 & String, Unit> <- DbLock.try_unlock(file)
143    released(pair, operation, path)