Enum fungi_lang::bitype::ExpTD

pub enum ExpTD {
    AnnoC(TypeInfo<ExpTD>, CType),
    AnnoE(TypeInfo<ExpTD>, CEffect),
    Force(TypeInfo<ValTD>),
    Thunk(TypeInfo<ValTD>, TypeInfo<ExpTD>),
    Unroll(TypeInfo<ValTD>, Var, TypeInfo<ExpTD>),
    Fix(Var, TypeInfo<ExpTD>),
    Ret(TypeInfo<ValTD>),
    DefType(Var, Type, TypeInfo<ExpTD>),
    Let(Var, TypeInfo<ExpTD>, TypeInfo<ExpTD>),
    Lam(Var, TypeInfo<ExpTD>),
    App(TypeInfo<ExpTD>, TypeInfo<ValTD>),
    Split(TypeInfo<ValTD>, Var, Var, TypeInfo<ExpTD>),
    Case(TypeInfo<ValTD>, Var, TypeInfo<ExpTD>, Var, TypeInfo<ExpTD>),
    IfThenElse(TypeInfo<ValTD>, TypeInfo<ExpTD>, TypeInfo<ExpTD>),
    Ref(TypeInfo<ValTD>, TypeInfo<ValTD>),
    Get(TypeInfo<ValTD>),
    Scope(TypeInfo<ValTD>, TypeInfo<ExpTD>),
    NameFnApp(TypeInfo<ValTD>, TypeInfo<ValTD>),
    PrimApp(PrimAppTD),
    Unimp,
    DebugLabel(Option<Name>, Option<String>, TypeInfo<ExpTD>),
    NoParse(String),
}

Variants

AnnoC(TypeInfo<ExpTD>, CType)AnnoE(TypeInfo<ExpTD>, CEffect)Force(TypeInfo<ValTD>)Thunk(TypeInfo<ValTD>, TypeInfo<ExpTD>)Unroll(TypeInfo<ValTD>, Var, TypeInfo<ExpTD>)Fix(Var, TypeInfo<ExpTD>)Ret(TypeInfo<ValTD>)DefType(Var, Type, TypeInfo<ExpTD>)Let(Var, TypeInfo<ExpTD>, TypeInfo<ExpTD>)Lam(Var, TypeInfo<ExpTD>)App(TypeInfo<ExpTD>, TypeInfo<ValTD>)Split(TypeInfo<ValTD>, Var, Var, TypeInfo<ExpTD>)Case(TypeInfo<ValTD>, Var, TypeInfo<ExpTD>, Var, TypeInfo<ExpTD>)IfThenElse(TypeInfo<ValTD>, TypeInfo<ExpTD>, TypeInfo<ExpTD>)Ref(TypeInfo<ValTD>, TypeInfo<ValTD>)Get(TypeInfo<ValTD>)Scope(TypeInfo<ValTD>, TypeInfo<ExpTD>)NameFnApp(TypeInfo<ValTD>, TypeInfo<ValTD>)PrimApp(PrimAppTD)UnimpDebugLabel(Option<Name>, Option<String>, TypeInfo<ExpTD>)NoParse(String)

Trait Implementations

impl Clone for ExpTD

fn clone(&self) -> ExpTD

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExpTD

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

Formats the value using the given formatter.

impl Eq for ExpTD

impl PartialEq for ExpTD

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

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

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

This method tests for !=.

impl Hash for ExpTD

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 ExpTD

type Type = CEffect