def header.valid

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

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

361def header.valid(
362  +path: String,
363  file: File,
364  +size: Nat,
365  result: Result<&1, &1, U32 & String, Bytes.Bytes>,
366  initial: ByteMemTable.Table
367) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
368  match result:
369    case Fail{failure}:
370      close.failed(file, failure)
371    case Done{bytes}:
372      header.checked(path, file, size, ByteWal.decode_header(bytes), initial)