def header.ready.block

mylsm-lsm-store@0.6.0.1 · src/transfer/Restore.bend:112

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

112def header.ready.block(pair: Bytes.Bytes & Maybe<&2, U32>, entry_count: U32) -> Result<&1, &1, Error, Header>:
113  match pair:
114    case (input, value):
115      match value:
116        case None{}: Fail{InvalidFormat{}}
117        case Some{block_count}: Done{Header{input, entry_count, block_count}}