Enum fungi_lang::ast::Exp

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

Expressions (aka, computation terms)

Variants

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

Trait Implementations

impl Clone for Exp

fn clone(&self) -> Exp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Exp

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

Formats the value using the given formatter.

impl Eq for Exp

impl PartialEq for Exp

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

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

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

This method tests for !=.

impl Hash for Exp

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].