def read.failed.released

mylsm-lsm-store@0.6.0.1 · src/transfer/FormatInspectIo.bend:21

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

21def read.failed.released(
22  error: U32 & String,
23  result: Result<&1, &1, DurableError.Error, Unit>
24) -> Result<&1, &1, Error, FormatInspect.Inspection>:
25  match error:
26    case (code, message):
27      match result:
28        case Fail{lock_error}: Fail{Lock{lock_error}}
29        case Done{Unit{}}: Fail{Host{code, message}}