def restore.block.frame.bounded

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

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

457def restore.block.frame.bounded(
458  input: Bytes.Bytes,
459  +offset: Nat,
460  index: U32,
461  +record_count: U32,
462  +frame_length: U32,
463  +block_length: Nat,
464  valid: Bool
465) -> Result<&1, &1, Error, BlockHeader>:
466  match valid:
467    case False{}: Fail{InvalidFormat{}}
468    case True{}:
469      Done{BlockHeader{input, offset, index, record_count,
470        frame_length, block_length}}