Trait egg::egraph::Metadata

pub trait Metadata<L: Language>: Sized + Debug {
    type Error: Debug;
    fn merge(self, other: Self) -> Self;
    fn make(expr: Expr<L, &Self>) -> Self;
}

Associated Types

type Error: Debug

Loading content...

Required methods

fn merge(self, other: Self) -> Self

fn make(expr: Expr<L, &Self>) -> Self

Loading content...

Implementations on Foreign Types

impl<L: Language> Metadata<L> for ()

type Error = Infallible

fn merge(self, _other: ())

fn make(_expr: Expr<L, &()>)

Loading content...

Implementors

Loading content...