~/jendhub

def table.release.result

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

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

106def table.release.result(
107  value: Result<&1, &1, Error, Nat & Nat>,
108  result: Result<&1, &1, DurableError.Error, Unit>
109) -> Result<&1, &1, Error, Nat & Nat>:
110  match result:
111    case Fail{error}: Fail{LockError{error}}
112    case Done{Unit{}}: value

Uses (6)

Used by (1)