Struct Rule 

pub struct Rule {
    pub pattern: &'static str,
    pub replacement: &'static [Piece],
    pub guard: Option<Guard>,
    pub line: u32,
}

One lowering rule, as much of it as matching needs.

Fields

pattern: &'static str

The pattern as it is written in the rule file, for diagnostics and for tests.

replacement: &'static [Piece]

What to put in the matched term’s place, flattened into pre-order.

guard: Option<Guard>

The condition on the match, if the rule has one.

line: u32

The line of the rule file this rule starts on.

Implementations

impl Rule

pub fn head(&self) -> Option<&'static str>

The head of the replacement, which is the instruction this rule selects.

Trait Implementations

impl Debug for Rule

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

Formats the value using the given formatter.