def table.lock.present

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

import Base

431def table.lock.present(
432  path: String,
433  result: Result<&1, &1, U32 & String, Bool>
434) -> IO(Result<&1, &1, Error, Nat & Nat>):
435  match result:
436    case Fail{(code, message)}:
437      IO.pure(Result<&1, &1, Error, Nat & Nat>, Fail{HostError{code, message}})
438    case Done{False{}}:
439      IO.pure(Result<&1, &1, Error, Nat & Nat>,
440        Fail{HostError{2, "database LOCK file is missing"}})
441    case Done{True{}}:
442      do IO<Result<&1, &1, Error, Nat & Nat>>:
443        paths : String & String = path.clone.pair(path)
444        table.lock.present.start(paths)