Struct RuleConsumes 

pub struct RuleConsumes {
    pub eliminates: &'static [RuleTarget],
    pub touches: &'static [RuleTarget],
}

Declares the commands, environments, or characters that a rule removes from, reads, or may otherwise touch in the AST.

The distinction matters for convergence analysis:

• eliminates — forms the rule actively removes or replaces. After the rule fires these forms should no longer appear in the output AST.
• touches — forms that the rule may read or modify without promising to eliminate them from the output AST.

Fields

eliminates: &'static [RuleTarget]

Forms that the rule removes or replaces in the AST.

touches: &'static [RuleTarget]

Forms that the rule may read or modify but does not eliminate.

Trait Implementations

impl Clone for RuleConsumes

fn clone(&self) -> RuleConsumes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RuleConsumes

impl Debug for RuleConsumes

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

Formats the value using the given formatter.

impl Eq for RuleConsumes

impl PartialEq for RuleConsumes

fn eq(&self, other: &RuleConsumes) -> 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 RuleConsumes