def restore.block.index.field

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

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

566def restore.block.index.field(
567  pair: Bytes.Bytes & Maybe<&2, U32>,
568  +offset: Nat,
569  expected_index: U32
570) -> Result<&1, &1, Error, BlockHeader>:
571  match pair:
572    case (input, result):
573      match result:
574        case None{}: Fail{InvalidFormat{}}
575        case Some{+index}:
576          restore.block.index.checked(input, offset, index,
577            U32.is_eq(index, expected_index))