def host.failed

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

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

506# Converts a raw host failure after releasing the source lock.
507def host.failed(
508  lock: DbLock.Lock,
509  error: U32 & String,
510  path: String
511) -> IO(Result<&1, &1, Error, Nat>):
512  match error:
513    case (code, message):
514      release(lock, Fail{HostError{code, message}}, path)