Struct RewriteRule 

pub struct RewriteRule {
    pub pattern: Pattern,
    pub template: fn(&HashMap<String, TLExpr>) -> TLExpr,
    pub name: Option<String>,
}

A rewrite rule that transforms expressions matching a pattern into a template.

Fields

pattern: Pattern

The pattern to match

template: fn(&HashMap<String, TLExpr>) -> TLExpr

Function to generate the replacement expression from bindings

name: Option<String>

Optional name for debugging

Implementations

impl RewriteRule

pub fn new( pattern: Pattern, template: fn(&HashMap<String, TLExpr>) -> TLExpr, ) -> Self

Create a new rewrite rule.

pub fn named( name: impl Into<String>, pattern: Pattern, template: fn(&HashMap<String, TLExpr>) -> TLExpr, ) -> Self

Create a named rewrite rule.

pub fn apply(&self, expr: &TLExpr) -> Option<TLExpr>

Try to apply this rule to an expression.

Trait Implementations

impl Clone for RewriteRule

fn clone(&self) -> RewriteRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RewriteRule

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

Formats the value using the given formatter.