~/jendhub

def release.result

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

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

486# Preserves the primary validation result unless lock release fails.
487def release.result(
488  value: Result<&1, &1, Error, Nat>,
489  released: Result<&1, &1, DurableError.Error, Unit>
490) -> Result<&1, &1, Error, Nat>:
491  match released:
492    case Fail{error}: Fail{LockError{error}}
493    case Done{Unit{}}: value

Uses (5)

Used by (1)