def read.opened

mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:221

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

221def read.opened(
222  opened: Result<&1, &1, U32 & String, ByteBlockReader.Reader>
223) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
224  match opened:
225    case Fail{error}:
226      IO.pure(Result<&1, &1, U32 & String, ByteMemTable.Table>, Fail{error})
227    case Done{reader}:
228      read.loop.start(ByteBlockReader.transition_budget(reader))

Uses (10)

Used by (1)