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})

Uses (10)

Used by (1)