Trait zia::ContextMaker

pub trait ContextMaker<T> where
    Self: Labeller<T> + Default,
    T: GetDefinitionOf + From<String> + From<Self::C> + From<Self::A> + SetReduction + MakeReduceFrom + GetDefinition + GetReduction + SetDefinition + SetAsDefinitionOf + MaybeString, {
    fn new() -> Self { ... }
}

Preparing a context by labelling concrete concepts.

Provided methods

fn new() -> Self

Loading content...

Implementors

impl<S, T> ContextMaker<T> for S where     S: Labeller<T> + Default,     T: GetDefinitionOf + From<String> + From<Self::C> + From<Self::A> + SetReduction + MakeReduceFrom + GetDefinition + GetReduction + SetDefinition + SetAsDefinitionOf + MaybeString,

fn new() -> Self

Loading content...