Enum treescript_interpreter::value::Value

pub enum Value {
    Splice(usize),
    Prim(Prim),
    Record {
        head: String,
        props: Vec<Value>,
    },
}

Variants

Splice(usize)Prim(Prim)Record

Fields of Record

head: Stringprops: Vec<Value>

Methods

impl Value

pub fn unit() -> Value

pub fn true_() -> Value

pub fn false_() -> Value

pub fn nil() -> Value

pub fn bool(x: bool) -> Value

pub fn cons(first: Value, rest: Value) -> Value

pub fn hole(idx: i32) -> Value

pub fn option(val: Option<Value>) -> Value

pub fn list<I: Iterator<Item = Value>>(vals: &mut I) -> Value

pub fn record_head_to_fun(head: &String) -> Option<(String, String)>

pub fn is_splice(&self) -> bool

pub fn is_hole(&self) -> bool

pub fn matches(&self, other: &Value) -> bool

pub fn subst(&mut self, old: &Value, new: &Value)

pub fn fill_splices<F: Copy + Fn(usize) -> Value>(&mut self, f: F)

pub fn flush(&mut self)

pub fn modify_children<F: FnMut(&mut Value) -> bool>(&mut self, f: &mut F)

pub fn breadth_first(
    &self
) -> GeneratorIterator<impl Generator<Yield = &Value, Return = ()>>

pub fn breadth_first_mut(
    &mut self
) -> GeneratorIterator<impl Generator<Yield = &mut Value, Return = ()>>

pub fn sub_splices(&self) -> Vec<usize>

pub fn any_sub<F: Fn(&Value) -> bool>(&self, pred: F) -> bool

Trait Implementations

impl PartialEq<Value> for Value

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

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

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

This method tests for !=.

impl Clone for Value

fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Value

impl Display for Value

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

Formats the value using the given formatter.

impl Debug for Value

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

Formats the value using the given formatter.

impl Hash for Value

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

impl Serialize for Value

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

Serialize this value into the given Serde serializer.

impl<'de> Deserialize<'de> for Value

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.