def open.header.result

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

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

408def open.header.result(
409  file: File,
410  +size: Nat,
411  result: Result<&1, &1, U32 & String, Bytes.Bytes>
412) -> IO(Result<&1, &1, U32 & String, Reader>):
413  match result:
414    case Fail{error}:
415      open.failed(file, error)
416    case Done{header}:
417      open.header.parsed(file, size, ByteSstFile.parse_stream_header(header))