Enum fungi_lang::bitype::ValTD

pub enum ValTD {
    Var(Var),
    Unit,
    Pair(TypeInfo<ValTD>, TypeInfo<ValTD>),
    Inj1(TypeInfo<ValTD>),
    Inj2(TypeInfo<ValTD>),
    Roll(TypeInfo<ValTD>),
    Name(Name),
    NameFn(TypeInfo<NameTmTD>),
    Anno(TypeInfo<ValTD>, Type),
    ThunkAnon(TypeInfo<ExpTD>),
    Bool(bool),
    Nat(usize),
    Str(String),
    NoParse(String),
}

Variants

Var(Var)UnitPair(TypeInfo<ValTD>, TypeInfo<ValTD>)Inj1(TypeInfo<ValTD>)Inj2(TypeInfo<ValTD>)Roll(TypeInfo<ValTD>)Name(Name)NameFn(TypeInfo<NameTmTD>)Anno(TypeInfo<ValTD>, Type)ThunkAnon(TypeInfo<ExpTD>)Bool(bool)Nat(usize)Str(String)NoParse(String)

Trait Implementations

impl Clone for ValTD

fn clone(&self) -> ValTD

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValTD

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

Formats the value using the given formatter.

impl Eq for ValTD

impl PartialEq for ValTD

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

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

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

This method tests for !=.

impl Hash for ValTD

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 ValTD

type Type = Type