Enum fungi_lang::bitype::IdxTmTD

pub enum IdxTmTD {
    Var(Var),
    Sing(TypeInfo<NameTmTD>),
    Empty,
    Disj(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>),
    Union(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>),
    Unit,
    Pair(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>),
    Proj1(TypeInfo<IdxTmTD>),
    Proj2(TypeInfo<IdxTmTD>),
    Lam(Var, Sort, TypeInfo<IdxTmTD>),
    App(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>),
    Map(TypeInfo<NameTmTD>, TypeInfo<IdxTmTD>),
    FlatMap(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>),
    Star(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>),
    NoParse(String),
}

Variants

Var(Var)Sing(TypeInfo<NameTmTD>)EmptyDisj(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>)Union(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>)UnitPair(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>)Proj1(TypeInfo<IdxTmTD>)Proj2(TypeInfo<IdxTmTD>)Lam(Var, Sort, TypeInfo<IdxTmTD>)App(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>)Map(TypeInfo<NameTmTD>, TypeInfo<IdxTmTD>)FlatMap(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>)Star(TypeInfo<IdxTmTD>, TypeInfo<IdxTmTD>)NoParse(String)

Trait Implementations

impl Clone for IdxTmTD

fn clone(&self) -> IdxTmTD

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IdxTmTD

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

Formats the value using the given formatter.

impl Eq for IdxTmTD

impl PartialEq for IdxTmTD

fn eq(&self, __arg_0: &IdxTmTD) -> bool

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

fn ne(&self, __arg_0: &IdxTmTD) -> bool

This method tests for !=.

impl Hash for IdxTmTD

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl HasType for IdxTmTD

type Type = Sort