[−][src]Trait egg::expr::Language

pub trait Language: Debug + PartialEq + Eq + Hash + Clone {
    type Constant: Debug + PartialEq + Eq + Hash + Clone + Display;
    type Variable: Debug + PartialEq + Eq + Hash + Clone + Display;
    type Operator: Debug + PartialEq + Eq + Hash + Clone + Display;
    type Wildcard: Debug + PartialEq + Eq + Hash + Clone;
    fn cost(node: &Expr<Self, u64>) -> u64;
}

Trait that wraps up information from the client about the language we're working with.

TestLang is provided as a simple implementation.

TODO I think I can remove the requirements on Language itself if I manually derive these things for Expr

Associated Types

`type Constant: Debug + PartialEq + Eq + Hash + Clone + Display`

`type Variable: Debug + PartialEq + Eq + Hash + Clone + Display`

`type Operator: Debug + PartialEq + Eq + Hash + Clone + Display`

`type Wildcard: Debug + PartialEq + Eq + Hash + Clone`

Loading content...

Required methods

`fn cost(node: &Expr<Self, u64>) -> u64`

Loading content...

Implementors

`impl Language for TestLang`[src]

`type Constant = i32`

`type Variable = Name`

`type Operator = Name`

`type Wildcard = QuestionMarkName`

`fn cost(node: &Expr<Self, u64>) -> u64`[src]

Loading content...