Enum fungi_lang::ast::Val

pub enum Val {
    Var(Var),
    Unit,
    Pair(ValRec, ValRec),
    Inj1(ValRec),
    Inj2(ValRec),
    Roll(ValRec),
    Name(Name),
    NameFn(NameTm),
    Anno(ValRec, Type),
    ThunkAnon(ExpRec),
    Bool(bool),
    Nat(usize),
    Str(String),
    NoParse(String),
}

Value terms

Variants

Var(Var)UnitPair(ValRec, ValRec)Inj1(ValRec)Inj2(ValRec)Roll(ValRec)Name(Name)NameFn(NameTm)Anno(ValRec, Type)ThunkAnon(ExpRec)Bool(bool)

Primitive (Rust) bool, injected into Val type

Nat(usize)

Primitive (Rust) usize, injected into Val type

Str(String)

Primitive (Rust) String, injected into Val type

NoParse(String)

Trait Implementations

impl Clone for Val

fn clone(&self) -> Val

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Val

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

Formats the value using the given formatter.

impl Eq for Val

impl PartialEq for Val

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

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

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

This method tests for !=.

impl Hash for Val

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