Trait egg::Metadata

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

    fn modify(_eclass: &mut EClass<L, Self>) { ... }
}

Associated Types

type Error: Debug

Loading content...

Required methods

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

fn make(enode: ENode<L, &Self>) -> Self

Loading content...

Provided methods

fn modify(_eclass: &mut EClass<L, Self>)

Loading content...

Implementations on Foreign Types

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

type Error = Infallible

fn merge(&self, _other: &())

fn make(_enode: ENode<L, &()>)

Loading content...

Implementors

Loading content...