Enum TriggerMatch 

pub enum TriggerMatch {
    Input {
        variant: InputVariantId,
        bindings: Vec<FieldId>,
    },
    Signal {
        variant: SignalVariantId,
        bindings: Vec<FieldId>,
    },
}

Typed trigger match for a transition — the variant ID is carried at the right level of the sum discriminator.

Each transition fires on either an input or a signal; the TriggerMatch sum threads the correct typed identity through each arm so there is no stringly-typed variant field anywhere in the schema. The DSL macro emits the concrete arm at expansion time — Input { variant: InputVariantId::parse(...) } or Signal { variant: SignalVariantId::parse(...) }.

Variants

Input

Fields

variant: InputVariantId

bindings: Vec<FieldId>

Signal

Fields

variant: SignalVariantId

bindings: Vec<FieldId>

Implementations

impl TriggerMatch

pub fn kind(&self) -> TriggerKind

Structural trigger kind (convenience projection for validators that still consult the kind/variant split).

pub fn variant_str(&self) -> &str

Untyped slug accessor for the matched variant. Use TriggerMatch directly when you need the typed identity.

pub fn bindings(&self) -> &[FieldId]

Typed bindings introduced by the destructure pattern.

Trait Implementations

impl Clone for TriggerMatch

fn clone(&self) -> TriggerMatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TriggerMatch

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

Formats the value using the given formatter.

impl Eq for TriggerMatch

impl PartialEq for TriggerMatch

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TriggerMatch