def read.loop.start

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

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

216def read.loop.start(pair: Nat & ByteBlockReader.Reader) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
217  match pair:
218    case (fuel, reader):
219      read.loop(fuel, ReadNeed{reader, ByteMemTable.empty()})

Uses (12)

Used by (1)