def release

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:495

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

495# Releases database ownership before returning validation status.
496def release(
497  lock: DbLock.Lock,
498  value: Result<&1, &1, Error, Nat>,
499  path: String
500) -> IO(Result<&1, &1, Error, Nat>):
501  do IO<Result<&1, &1, Error, Nat>>:
502    released : Result<&1, &1, DurableError.Error, Unit> <-
503      DbLock.release(lock, "migrate-verify", path)
504    return release.result(value, released)