Struct EqRewriteRule 

pub struct EqRewriteRule {
    pub name: Name,
    pub lhs: Expr,
    pub rhs: Expr,
    pub reversible: bool,
}

An equality-based rewrite rule.

Fields

name: Name

The name of this rule.

lhs: Expr

Left-hand side pattern.

rhs: Expr

Right-hand side replacement.

reversible: bool

Whether this rule can be applied in reverse.

Implementations

impl EqRewriteRule

pub fn new(name: Name, lhs: Expr, rhs: Expr) -> Self

Create a new rewrite rule.

pub fn make_reversible(self) -> Self

Mark the rule as reversible.

pub fn reversed(&self) -> Option<Self>

The reversed rule (rhs → lhs).

pub fn matches(&self, expr: &Expr) -> bool

Check if the rule matches a given expression (syntactically).

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

Apply the rule to an expression, returning the rewritten form.

Trait Implementations

impl Clone for EqRewriteRule

fn clone(&self) -> EqRewriteRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EqRewriteRule

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

Formats the value using the given formatter.