~/jendhub

def host.without_lock

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

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

516# Converts a host failure that occurred before acquiring the source lock.
517def host.without_lock(error: U32 & String) -> IO(Result<&1, &1, Error, Nat>):
518  match error:
519    case (code, message):
520      IO.pure(Result<&1, &1, Error, Nat>, Fail{HostError{code, message}})

Uses (9)

Used by (1)