def inspect.locked

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

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

120def inspect.locked(
121  +path: String,
122  result: Result<&1, &1, DurableError.Error, DbLock.Lock>
123) -> IO(Result<&1, &1, Error, FormatInspect.Inspection>):
124  match result:
125    case Fail{error}:
126      IO.pure(Result<&1, &1, Error, FormatInspect.Inspection>, Fail{Lock{error}})
127    case Done{lock}:
128      do IO<Result<&1, &1, Error, FormatInspect.Inspection>>:
129        size : Result<&1, &1, U32 & String, Nat> <- Fs.file_size(path ++ "/MANIFEST")
130        read.size(path, lock, size)