Struct RewriteRule 

pub struct RewriteRule<T: Clone + Eq> {
    pub lhs: T,
    pub rhs: T,
    pub name: String,
    pub conditions: Vec<T>,
}

A conditional rewrite rule over a term type T.

Fields

lhs: T

Left-hand side pattern.

rhs: T

Right-hand side result.

name: String

Human-readable name for the rule.

conditions: Vec<T>

Conditions that must hold (as terms that must reduce to True/normal form).

Implementations

impl<T: Clone + Eq> RewriteRule<T>

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

Creates a new unconditional rewrite rule.

pub fn conditional( name: impl Into<String>, lhs: T, rhs: T, conditions: Vec<T>, ) -> Self

Creates a new conditional rewrite rule.

pub fn is_conditional(&self) -> bool

Returns whether this rule has conditions.

Trait Implementations

impl<T: Clone + Clone + Eq> Clone for RewriteRule<T>

fn clone(&self) -> RewriteRule<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Clone + Eq> Debug for RewriteRule<T>

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

Formats the value using the given formatter.

impl<T: PartialEq + Clone + Eq> PartialEq for RewriteRule<T>

fn eq(&self, other: &RewriteRule<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: Eq + Clone + Eq> Eq for RewriteRule<T>

impl<T: Clone + Eq> StructuralPartialEq for RewriteRule<T>