def table.release

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

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

114def table.release(state: TableValidation) -> IO(Result<&1, &1, Error, Nat & Nat>):
115  match state:
116    case TableValidation{lock, path, result, _, _}:
117      do IO<Result<&1, &1, Error, Nat & Nat>>:
118        released : Result<&1, &1, DurableError.Error, Unit> <-
119          DbLock.release(lock, "migrate-verify", path)
120        return table.release.result(result, released)