[−][src]Enum poi::Knowledge

pub enum Knowledge {
    Def(Symbol, Expr),
    Red(Expr, Expr),
    Eqv(Expr, Expr),
    EqvEval(Expr, Expr),
}

Represents knowledge about symbols.

Variants

Def(Symbol, Expr)

A symbol has some definition.

Red(Expr, Expr)

A reduction from a more complex expression into another by normalization.

Eqv(Expr, Expr)

Two expressions that are equivalent but neither normalizes the other.

EqvEval(Expr, Expr)

Two expressions that are equivalent but evaluates from left to right.

Trait Implementations

impl Display for Knowledge[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> ToString for T where
    T: Display + ?Sized, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.