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),
    Pack(IdxTm, ValRec),
    ThunkAnon(ExpRec),
    Bool(bool),
    Nat(usize),
    Str(String),
    HostObj(HostObj),
    NoParse(String),
}

Value terms

Variants

Var(Var)

Unit

Pair(ValRec, ValRec)

Inj1(ValRec)

Inj2(ValRec)

Roll(ValRec)

Name(Name)

NameFn(NameTm)

Anno(ValRec, Type)

Pack(IdxTm, ValRec)

Pack an index term that describes a given value.

E.g., value pack {@1} name @1 checks against type exists a:NmSet | a in {@1,@2}. Nm[a].

ThunkAnon(ExpRec)

Anonymous thunks (“ordinary” CBPV thunks).

They can be written in the source program, and unlike named (store-allocated) thunks, and closed, run-time thunks, these thunks exist in the pre-evaluation AST (not the store); also, they don’t yet have a run-time environment.

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

HostObj(HostObj)

A Host language (Rust) object, injected into the value space of Fungi.

See also: The HostFn case of the Exp 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, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Val

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

Formats the value using the given formatter.

impl Hash for Val

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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Val> for Val

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Val

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Val

impl StructuralEq for Val

impl StructuralPartialEq for Val