Trait egg::Language

pub trait Language: Debug + PartialEq + Eq + Hash + Clone + 'static { }

Trait defines a Language whose terms will be in the EGraph.

Typically, you'll want your language to implement FromStr and Display so parsing and printing works. Check out the define_language! macro for an easy way to create a Language.

String implements Language for quick use cases.

Implementations on Foreign Types

impl Language for String

Loading content...

Implementors

Loading content...