Trait dedukti_parse::term::Scope

source · [−]

pub trait Scope<S, V> where
    Self: Sized, {
    fn scope(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Self;

    fn go(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Term<Self, V> { ... }
}

Expand description

Convert a symbol to a given type of atoms.

Required Methods

source

fn scope(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Self

Convert a symbol to a given type of atoms.

Provided Methods

source

fn go(symb: Symb<S>, ctx: &Ctx<Self, V>) -> Term<Self, V>

Convenience function to convert a symbol to a term.

Implementors

source

impl<S: Borrow<str> + Into<C> + Eq, C, V: Borrow<str>> Scope<S, V> for Atom<Symb<C>>

Distinguish symbols into constants and variables.

source

impl<S: Into<S2>, S2, V> Scope<S, V> for Symb<S2>

The trivial scoper, mapping symbols to something they can be trivially converted to (including themselves).