Enum minitt::ast::GenericNeutral

pub enum GenericNeutral<Value: Clone> {
    Generated(u32),
    Application(Box<Self>, Box<Value>),
    First(Box<Self>),
    Second(Box<Self>),
    Split(GenericBranch<GenericCase<Either<Value, Expression>, Value>>, Box<Self>),
}

Generic definition for two kinds of neutral terms.

Implementing Eq because of NormalExpression.

$k(v) ::=$

Variants

Generated(u32)

$\textsf{x}_n$. Neutral form: stuck on a free variable.

Application(Box<Self>, Box<Value>)

$k\ v$. Neutral form: stuck on applying on a free variable.

First(Box<Self>)

$k.1$. Neutral form: stuck on trying to find the first element of a free variable.

Second(Box<Self>)

$k.2$. Neutral form: stuck on trying to find the second element of a free variable.

Split(GenericBranch<GenericCase<Either<Value, Expression>, Value>>, Box<Self>)

$s\ k$. Neutral form: stuck on trying to case-split a free variable.

Trait Implementations

impl<Value: Clone> Clone for GenericNeutral<Value>

fn clone(&self) -> GenericNeutral<Value>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Value: Debug + Clone> Debug for GenericNeutral<Value>

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

Formats the value using the given formatter.

impl<Value: Display + Clone> Display for GenericNeutral<Value>

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

Formats the value using the given formatter.

impl<Value: Eq + Clone> Eq for GenericNeutral<Value>

impl<Value: PartialEq + Clone> PartialEq<GenericNeutral<Value>> for GenericNeutral<Value>

fn eq(&self, other: &GenericNeutral<Value>) -> bool

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

fn ne(&self, other: &GenericNeutral<Value>) -> bool

This method tests for !=.

impl<Value: Clone> StructuralEq for GenericNeutral<Value>

impl<Value: Clone> StructuralPartialEq for GenericNeutral<Value>