def read.exhausted.pair

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:298

import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import Base
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

298def read.exhausted.pair(
299  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
300) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
301  match pair:
302    case (file, _):
303      read.exhausted.file(file)

Uses (10)

Used by (1)