[−][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 Clone for Knowledge`[src]

`pub fn clone(&self) -> Knowledge`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Display for Knowledge`[src]

`pub fn fmt(&self, w: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl<'a> From<&'a str> for Knowledge`[src]

`pub fn from(val: &'a str) -> Knowledge`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Knowledge`

`impl Send for Knowledge`

`impl Sync for Knowledge`

`impl Unpin for Knowledge`

`impl UnwindSafe for Knowledge`

Blanket Implementations

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

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

`pub fn from(t: T) -> T`[src]

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

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`pub default fn to_string(&self) -> String`[src]

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

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

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

`type Error = >::Error`

The type returned in the event of a conversion error.

[−][src]Enum poi::Knowledge

Variants

Trait Implementations

`impl Clone for Knowledge`[src]

`pub fn clone(&self) -> Knowledge`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Display for Knowledge`[src]

`pub fn fmt(&self, w: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl<'a> From<&'a str> for Knowledge`[src]

`pub fn from(val: &'a str) -> Knowledge`[src]

Auto Trait Implementations

`impl RefUnwindSafe for Knowledge`

`impl Send for Knowledge`

`impl Sync for Knowledge`

`impl Unpin for Knowledge`

`impl UnwindSafe for Knowledge`

Blanket Implementations

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

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

`pub fn from(t: T) -> T`[src]

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

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`pub default fn to_string(&self) -> String`[src]

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

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

[−][src]Enum poi::Knowledge

Variants

Trait Implementations

impl Clone for Knowledge[src]

pub fn clone(&self) -> Knowledge[src]

pub fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Display for Knowledge[src]

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

impl<'a> From<&'a str> for Knowledge[src]

pub fn from(val: &'a str) -> Knowledge[src]

Auto Trait Implementations

impl RefUnwindSafe for Knowledge

impl Send for Knowledge

impl Sync for Knowledge

impl Unpin for Knowledge

impl UnwindSafe for Knowledge

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

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

pub fn borrow(&self) -> &T[src]

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

pub fn borrow_mut(&mut self) -> &mut T[src]

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

pub fn from(t: T) -> T[src]

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

pub fn into(self) -> U[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

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

pub default fn to_string(&self) -> String[src]

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

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

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

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

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

`impl Clone for Knowledge`[src]

`pub fn clone(&self) -> Knowledge`[src]

`pub fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl Display for Knowledge`[src]

`pub fn fmt(&self, w: &mut Formatter<'_>) -> Result<(), Error>`[src]

`impl<'a> From<&'a str> for Knowledge`[src]

`pub fn from(val: &'a str) -> Knowledge`[src]

`impl RefUnwindSafe for Knowledge`

`impl Send for Knowledge`

`impl Sync for Knowledge`

`impl Unpin for Knowledge`

`impl UnwindSafe for Knowledge`

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

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

`pub fn from(t: T) -> T`[src]

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

`pub fn into(self) -> U`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`pub default fn to_string(&self) -> String`[src]

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

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]