def open.header.parsed

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

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile

396def open.header.parsed(
397  file: File,
398  +size: Nat,
399  result: Result<&1, &1, ByteSstFile.Error, ByteSstFile.MultiHeader>
400) -> IO(Result<&1, &1, U32 & String, Reader>):
401  match result:
402    case Fail{error}:
403      open.failed(file, codec.error(error))
404    case Done{ByteSstFile.MultiHeader{header, _, total, +block_count}}:
405      open.header.valid(file, size, header, total, block_count,
406        Nat.is_le(20n, size) && Nat.is_le(size, 4294967295n))