def header.pair

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:374

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

374def header.pair(
375  +path: String,
376  +size: Nat,
377  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>,
378  initial: ByteMemTable.Table
379) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
380  match pair:
381    case (file, result):
382      header.valid(path, file, size, result, initial)