~/jendhub

def open.header.pair

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:427

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

427def open.header.pair(
428  +size: Nat,
429  pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>
430) -> IO(Result<&1, &1, U32 & String, Reader>):
431  open.header.read(size, SstStreamIo.read.exact.state(pair))

Uses (11)

Used by (1)