Enum KnownConstraint 

pub enum KnownConstraint {
    AllowedMerchant {
        allowed_merchants: Vec<DisclosableEntry<Entity>>,
    },
    LineItems {
        items: Vec<DisclosableEntry<LineItemEntry>>,
    },
    AllowedPayee {
        allowed_payees: Vec<DisclosableEntry<Entity>>,
    },
    PaymentAmount {
        currency: String,
        min: Option<i64>,
        max: Option<i64>,
    },
    PaymentBudget {
        currency: String,
        min: Option<i64>,
        max: i64,
    },
    PaymentRecurrence {
        frequency: String,
        start_date: String,
        end_date: Option<String>,
        number: Option<u32>,
    },
    AgentRecurrence {
        frequency: String,
        start_date: String,
        end_date: String,
        max_occurrences: Option<u32>,
    },
    PaymentReference {
        conditional_transaction_id: String,
    },
}

Constraint types this build recognizes and can evaluate.

Variants

AllowedMerchant

Merchant allowlist for checkout mandates.

The wire field is allowed for both allowlists (constraints.md §4.1 and §4.3). The Rust name stays specific because two variants would otherwise both carry a field called allowed, and the same rename-on-the-wire idiom already appears on PaymentInstrument::type.

Fields

allowed_merchants: Vec<DisclosableEntry<Entity>>

LineItems

Product selection constraints for checkout mandates.

Fields

items: Vec<DisclosableEntry<LineItemEntry>>

AllowedPayee

Payee allowlist for payment mandates.

Fields

allowed_payees: Vec<DisclosableEntry<Entity>>

PaymentAmount

Per-transaction amount range.

Fields

currency: String

min: Option<i64>

max: Option<i64>

PaymentBudget

Cumulative budget cap.

min is a per-transaction floor, distinct from max’s cumulative ceiling (constraints.md §4.5). The specification requires it to be positive when present; enforcing that belongs to the checker stage, and carrying the field is what lets that stage see it at all.

Fields

currency: String

min: Option<i64>

max: i64

PaymentRecurrence

Merchant-managed recurring payment.

Fields

frequency: String

start_date: String

end_date: Option<String>

number: Option<u32>

AgentRecurrence

Agent-managed recurring purchase.

end_date is REQUIRED here and RECOMMENDED on PaymentRecurrence (constraints.md §4.7 against §4.6). §7.4 gives the reason: a required end date is what stops an open-ended agent-managed authorization, so an agent-recurrence constraint without one is malformed and must not parse into this variant.

Fields

frequency: String

start_date: String

end_date: String

max_occurrences: Option<u32>

PaymentReference

Cross-reference between checkout and payment mandates.

Fields

conditional_transaction_id: String

Trait Implementations

impl Clone for KnownConstraint

fn clone(&self) -> KnownConstraint

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for KnownConstraint

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KnownConstraint

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for KnownConstraint

impl From<KnownConstraint> for Constraint

fn from(known: KnownConstraint) -> Self

Wrap a recognized constraint that carries no additional fields.

This is a convenience over the recognized representation and asserts nothing about verification. The opaque verified types deliberately have no such conversion.

impl PartialEq for KnownConstraint

fn eq(&self, other: &KnownConstraint) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for KnownConstraint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for KnownConstraint