def validate.sized

mylsm-lsm-store@0.6.0.1 · src/coordinator/Protocol.bend:753

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

753def validate.sized(
754  request_id: U32,
755  operation: U32,
756  version_valid: Bool,
757  generation_valid: Bool,
758  operation_valid: Bool,
759  sizes: Bytes.Bytes & U32,
760  max_payload_bytes: Nat
761) -> Decision:
762  match sizes:
763    case (request_payload, +payload_length):
764      validate.policy(request_id, operation, request_payload, version_valid,
765        generation_valid, operation_valid,
766        U32.is_le(payload_length, U32.from_nat(max_payload_bytes)))