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 Clone for Knowledge

fn clone(&self) -> Knowledge

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Knowledge

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Knowledge

fn fmt(&self, w: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'a> From<&'a str> for Knowledge

fn from(val: &'a str) -> Knowledge

Converts to this type from the input type.