def restore.block.index.checked

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

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

555def restore.block.index.checked(
556  input: Bytes.Bytes,
557  +offset: Nat,
558  index: U32,
559  valid: Bool
560) -> Result<&1, &1, Error, BlockHeader>:
561  match valid:
562    case False{}: Fail{InvalidFormat{}}
563    case True{}:
564      restore.block.count.field(Bytes.get.u32be(input,
565        U32.from_nat(Nat.add(offset, 8n))), offset, index)