def validate

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

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

768# Validates protocol identity, active generation, and payload size.
769def validate(
770  request: Request,
771  expected_version: U32,
772  active_generation: U32,
773  max_payload_bytes: Nat
774) -> Decision:
775  match request:
776    case Request{+version, +generation, +request_id, +operation, payload}:
777      validate.sized(request_id, operation,
778        U32.is_eq(version, expected_version),
779        U32.is_eq(generation, active_generation),
780        operation.request.valid(operation),
781        Bytes.length(payload), max_payload_bytes)