def open.trusted.result
mylsm-lsm-store@0.6.0.1 · src/scan/SstCursor.bend:353
import mylsm-lsm-store@0.6.0.1/src/scan/SstCursor.bend as SstCursor
import Base
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
353def open.trusted.result(
354 bounds: Bounds,
355 opened: Result<&1, &1, U32 & String, ByteBlockReader.Reader>
356) -> IO(Result<&1, &1, U32 & String, Cursor>):
357 match opened:
358 case Fail{error}:
359 IO.pure(Result<&1, &1, U32 & String, Cursor>, Fail{error})
360 case Done{reader}:
361 verify.complete(bounds, Done{reader})