Enum Val

pub enum Val<D: Domain> {
    Dom(D),
    PrimFun(CurriedFn<D>),
    LamClosure(Id, Env<D>),
}

a value can either be some domain specific value Dom(D) like an Int, or it can be a primitive function or partially applied primitive function like + or (+ 2) or it can be a lambda function with some captured env like (lam (* $1 $0)) where $1 may have been captured from the surrounding code and this whole object may now be passed around

Variants

Dom(D)

PrimFun(CurriedFn<D>)

LamClosure(Id, Env<D>)

Implementations

impl<D: Domain> Val<D>

pub fn dom(self) -> Result<D, VError>

Trait Implementations

impl<D: Clone + Domain> Clone for Val<D>

fn clone(&self) -> Val<D>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: Debug + Domain> Debug for Val<D>

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

Formats the value using the given formatter.

impl<'de, D> Deserialize<'de> for Val<D>

where D: Deserialize<'de> + Domain,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<D: Domain> From<D> for Val<D>

fn from(d: D) -> Self

Converts to this type from the input type.

impl<T: Into<Val<ListVal>>> From<Vec<T>> for Val<ListVal>

fn from(vec: Vec<T>) -> Val<ListVal>

Converts to this type from the input type.

impl<T: Into<Val<SimpleVal>>> From<Vec<T>> for Val<SimpleVal>

fn from(vec: Vec<T>) -> Val<SimpleVal>

Converts to this type from the input type.

impl From<bool> for Val<ListVal>

fn from(b: bool) -> Val<ListVal>

Converts to this type from the input type.

impl From<i32> for Val<ListVal>

fn from(i: i32) -> Val<ListVal>

Converts to this type from the input type.

impl From<i32> for Val<SimpleVal>

fn from(i: i32) -> Val<SimpleVal>

Converts to this type from the input type.

impl<D: Domain> FromVal<D> for Val<D>

fn from_val(val: Val<D>) -> Result<Self, VError>

impl<D: Hash + Domain> Hash for Val<D>

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<D: PartialEq + Domain> PartialEq for Val<D>

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl<D> Serialize for Val<D>

where D: Serialize + Domain,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<D: Eq + Domain> Eq for Val<D>

impl<D: Domain> StructuralPartialEq for Val<D>