[−][src]Enum minitt::normal::NormalExpression

pub enum NormalExpression<Name: NameTrait> {
    Lambda(u32, Box<NormalExpression<Name>>),
    Pair(Box<NormalExpression<Name>>, Box<NormalExpression<Name>>),
    Unit,
    One,
    Type,
    Pi(Box<NormalExpression<Name>>, u32, Box<NormalExpression<Name>>),
    Sigma(Box<NormalExpression<Name>>, u32, Box<NormalExpression<Name>>),
    Constructor(Name, Box<NormalExpression<Name>>),
    Function(NormalDeepClosure<Name>),
    Sum(NormalDeepClosure<Name>),
    Neutral(NormalNeutral<Name>),
}

NExp in Mini-TT, normal form expressions. Deriving Eq so we can do comparison.

Variants

Lambda(u32, Box<NormalExpression<Name>>)Pair(Box<NormalExpression<Name>>, Box<NormalExpression<Name>>)UnitOneTypePi(Box<NormalExpression<Name>>, u32, Box<NormalExpression<Name>>)Sigma(Box<NormalExpression<Name>>, u32, Box<NormalExpression<Name>>)Constructor(Name, Box<NormalExpression<Name>>)Function(NormalDeepClosure<Name>)Sum(NormalDeepClosure<Name>)Neutral(NormalNeutral<Name>)

Trait Implementations

impl<Name: Clone + NameTrait> Clone for NormalExpression<Name>[src]

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

Performs copy-assignment from source. Read more

impl<Name: PartialEq + NameTrait> PartialEq<NormalExpression<Name>> for NormalExpression<Name>[src]

impl<Name: Eq + NameTrait> Eq for NormalExpression<Name>[src]

impl<Name: Debug + NameTrait> Debug for NormalExpression<Name>[src]

Auto Trait Implementations

impl<Name> Send for NormalExpression<Name> where
    Name: Send, 

impl<Name> Sync for NormalExpression<Name> where
    Name: Sync, 

Blanket Implementations

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

impl<T> From for T[src]

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

type Owned = T

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

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

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

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

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

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

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

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.