Struct RewriteRule 

pub struct RewriteRule {
    pub lhs: Expr,
    pub rhs: Expr,
    pub name: String,
}

A rewrite rule: lhs → rhs (both closed expressions).

Fields

lhs: Expr

Left-hand side pattern.

rhs: Expr

Right-hand side replacement.

name: String

Human-readable name for the rule.

Implementations

impl RewriteRule

pub fn new(name: impl Into<String>, lhs: Expr, rhs: Expr) -> Self

Create a new rewrite rule.

pub fn apply_top(&self, expr: &Expr) -> Option<Expr>

Apply the rule to expr if the top-level matches.

Trait Implementations

impl Clone for RewriteRule

fn clone(&self) -> Self

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.