def read.success.released

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

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
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

31def read.success.released(
32  bytes: Bytes.Bytes,
33  result: Result<&1, &1, DurableError.Error, Unit>
34) -> Result<&1, &1, Error, FormatInspect.Inspection>:
35  match result:
36    case Fail{error}: Fail{Lock{error}}
37    case Done{Unit{}}:
38      Done{FormatInspect.inspect_manifest_bytes(bytes)}