def open.result

mylsm-lsm-store@0.6.0.1 · src/scan/SstCursor.bend:343

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader

343def open.result(
344  path: String,
345  bounds: Bounds,
346  opened: Result<&1, &1, U32 & String, ByteBlockReader.Reader>
347) -> IO(Result<&1, &1, U32 & String, Cursor>):
348  match opened:
349    case Fail{error}: IO.pure(Result<&1, &1, U32 & String, Cursor>, Fail{error})
350    case Done{reader}:
351      open.budget(path, bounds, ByteBlockReader.transition_budget(reader))