Enum minitt::check::read_back::NormalExpression

pub enum NormalExpression {
    Lambda(u32, Box<Self>),
    Pair(Box<Self>, Box<Self>),
    Unit,
    One,
    Type,
    Pi(Box<Self>, u32, Box<Self>),
    Sigma(Box<Self>, u32, Box<Self>),
    Constructor(String, Box<Self>),
    Split(NormalCaseTree),
    Sum(NormalCaseTree),
    Neutral(NormalNeutral),
}

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

Variants

Lambda(u32, Box<Self>)Pair(Box<Self>, Box<Self>)UnitOneTypePi(Box<Self>, u32, Box<Self>)Sigma(Box<Self>, u32, Box<Self>)Constructor(String, Box<Self>)Split(NormalCaseTree)Sum(NormalCaseTree)Neutral(NormalNeutral)

Trait Implementations

impl PartialEq<NormalExpression> for NormalExpression

fn eq(&self, other: &NormalExpression) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &NormalExpression) -> bool

This method tests for !=.

impl Clone for NormalExpression

fn clone(&self) -> NormalExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for NormalExpression

impl Display for NormalExpression

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

Formats the value using the given formatter.

impl Debug for NormalExpression

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

Formats the value using the given formatter.