Enum TermConstructorKind 

pub enum TermConstructorKind {
    Variable,
    UnitIntro,
    PairIntro,
    PairElimFst,
    PairElimSnd,
    Abstraction,
    Application,
    InjLeft,
    InjRight,
    Case,
    Absurd,
    LetPair,
}

The kind of a term constructor.

Variants

Variable

Variable reference

UnitIntro

Unit value introduction

PairIntro

Pair introduction

PairElimFst

First projection

PairElimSnd

Second projection

Abstraction

Lambda abstraction

Application

Function application

InjLeft

Left injection (sum types)

InjRight

Right injection (sum types)

Case

Case analysis (sum types)

Absurd

Absurd elimination (empty type)

LetPair

Let binding for pairs

Trait Implementations

impl Clone for TermConstructorKind

fn clone(&self) -> TermConstructorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermConstructorKind

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

Formats the value using the given formatter.

impl PartialEq for TermConstructorKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TermConstructorKind

impl StructuralPartialEq for TermConstructorKind