Enum fungi_lang::ast::Exp

pub enum Exp {
    Doc(String, ExpRec),
    UseAll(UseAllModule, ExpRec),
    Decls(DeclsRec, ExpRec),
    AnnoE(ExpRec, CEffect),
    AnnoC(ExpRec, CType),
    Force(Val),
    Thunk(Val, ExpRec),
    Unroll(Val, Var, ExpRec),
    Unpack(Var, Var, Val, ExpRec),
    Fix(Var, ExpRec),
    Ret(Val),
    DefType(Var, Type, ExpRec),
    Let(Var, ExpRec, ExpRec),
    Lam(Var, ExpRec),
    HostFn(HostEvalFn),
    App(ExpRec, Val),
    IdxApp(ExpRec, IdxTm),
    Split(Val, Var, Var, ExpRec),
    Case(Val, Var, ExpRec, Var, ExpRec),
    IfThenElse(Val, ExpRec, ExpRec),
    RefAnon(Val),
    Ref(Val, Val),
    Get(Val),
    WriteScope(Val, ExpRec),
    NameFnApp(Val, Val),
    PrimApp(PrimApp),
    Unimp,
    DebugLabel(Option<Name>, Option<String>, ExpRec),
    NoParse(String),
}

Expressions (aka, computation terms)

Variants

Doc(String, ExpRec)UseAll(UseAllModule, ExpRec)Decls(DeclsRec, ExpRec)AnnoE(ExpRec, CEffect)AnnoC(ExpRec, CType)Force(Val)Thunk(Val, ExpRec)Unroll(Val, Var, ExpRec)Unpack(Var, Var, Val, ExpRec)Fix(Var, ExpRec)Ret(Val)DefType(Var, Type, ExpRec)Let(Var, ExpRec, ExpRec)Lam(Var, ExpRec)HostFn(HostEvalFn)App(ExpRec, Val)IdxApp(ExpRec, IdxTm)Split(Val, Var, Var, ExpRec)Case(Val, Var, ExpRec, Var, ExpRec)IfThenElse(Val, ExpRec, ExpRec)RefAnon(Val)Ref(Val, Val)Get(Val)WriteScope(Val, ExpRec)NameFnApp(Val, Val)PrimApp(PrimApp)UnimpDebugLabel(Option<Name>, Option<String>, ExpRec)NoParse(String)

Trait Implementations

impl Display for Exp

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

Formats the value using the given formatter.

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, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for Exp

impl PartialEq for Exp

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

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

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

This method tests for !=.

impl Hash for Exp

fn hash<__H: Hasher>(&self, state: &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].