Struct SesRewriteRule 

pub struct SesRewriteRule {
    pub name: String,
    pub pattern: String,
    pub applies: fn(&SesExpr) -> bool,
    pub transform: Box<dyn Fn(SesExpr) -> SesExpr + Send + Sync>,
}

A named rewrite rule for the simplifier.

Fields

name: String

Human-readable name for the rule.

pattern: String

A short pattern description string (informational only).

applies: fn(&SesExpr) -> bool

Predicate: returns true when this rule can be applied to expr.

transform: Box<dyn Fn(SesExpr) -> SesExpr + Send + Sync>

Transformation: consumes the expression and returns the simplified form.

Trait Implementations

impl Debug for SesRewriteRule

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

Formats the value using the given formatter.