~/jendhub

def open.header.read

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

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

419def open.header.read(
420  +size: Nat,
421  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
422) -> IO(Result<&1, &1, U32 & String, Reader>):
423  match pair:
424    case (file, result):
425      open.header.result(file, size, result)

Uses (11)

Used by (1)