def released

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

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

127# Closes the file after either unlock result.
128def released(
129  pair: File & Result<&1, &1, U32 & String, Unit>,
130  operation: String,
131  path: String
132) -> IO(Result<&1, &1, DurableError.Error, Unit>):
133  match pair:
134    case (file, Fail{error}):
135      release_failed(file, error, operation, path)
136    case (file, Done{Unit{}}):
137      release_succeeded(file)