Struct GenericRewrite 

pub struct GenericRewrite<Head, Leaf> {
    pub span: Span,
    pub lhs: GenericExpr<Head, Leaf>,
    pub rhs: GenericExpr<Head, Leaf>,
    pub conditions: Vec<GenericFact<Head, Leaf>>,
    pub name: String,
}

Fields

span: Span

lhs: GenericExpr<Head, Leaf>

rhs: GenericExpr<Head, Leaf>

conditions: Vec<GenericFact<Head, Leaf>>

name: String

Implementations

impl<Head, Leaf> GenericRewrite<Head, Leaf>

where Head: Clone + Display, Leaf: Clone + PartialEq + Eq + Display + Hash,

pub fn map_symbols<Head2, Leaf2>( self, head: &mut impl FnMut(Head) -> Head2, leaf: &mut impl FnMut(Leaf) -> Leaf2, ) -> GenericRewrite<Head2, Leaf2>

where Head2: Clone + Display, Leaf2: Clone + PartialEq + Eq + Display + Hash,

Remaps every head and leaf symbol in the rewrite, including the optional conditions.

pub fn make_unresolved(self) -> GenericRewrite<String, String>

impl<Head: Display, Leaf: Display> GenericRewrite<Head, Leaf>

pub fn fmt_with_ruleset( &self, f: &mut Formatter<'_>, ruleset: &str, is_bidirectional: bool, subsume: bool, ) -> Result

Converts the rewrite into an s-expression.

Trait Implementations

impl<Head: Clone, Leaf: Clone> Clone for GenericRewrite<Head, Leaf>

fn clone(&self) -> GenericRewrite<Head, Leaf>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Head: Debug, Leaf: Debug> Debug for GenericRewrite<Head, Leaf>

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

Formats the value using the given formatter.