def restore.block.frame.field

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

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

511def restore.block.frame.field(
512  pair: Bytes.Bytes & Maybe<&2, U32>,
513  +offset: Nat,
514  index: U32,
515  record_count: U32
516) -> Result<&1, &1, Error, BlockHeader>:
517  match pair:
518    case (input, result):
519      match result:
520        case None{}: Fail{InvalidFormat{}}
521        case Some{+frame_length}:
522          restore.block.frame.length.checked(Bytes.length(input), offset,
523            index, record_count, frame_length,
524            U32.is_le(frame_length, StorageBytes.MAX_BLOCK_BYTES()))