def read.limit.released

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

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

77def read.limit.released(
78  result: Result<&1, &1, DurableError.Error, Unit>
79) -> IO(Result<&1, &1, Error, FormatInspect.Inspection>):
80  match result:
81    case Fail{error}:
82      IO.pure(Result<&1, &1, Error, FormatInspect.Inspection>, Fail{Lock{error}})
83    case Done{Unit{}}:
84      IO.pure(Result<&1, &1, Error, FormatInspect.Inspection>,
85        Done{inspection.resource_limit()})