[][src]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[src]

pub fn unit() -> Value[src]

pub fn true_() -> Value[src]

pub fn false_() -> Value[src]

pub fn nil() -> Value[src]

pub fn bool(x: bool) -> Value[src]

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

pub fn hole(idx: i32) -> Value[src]

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

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

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

pub fn is_splice(&self) -> bool[src]

pub fn is_hole(&self) -> bool[src]

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

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

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

pub fn flush(&mut self)[src]

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

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

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

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

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

Trait Implementations

impl PartialEq<Value> for Value[src]

impl Clone for Value[src]

fn clone_from(&mut self, source: &Self)
1.0.0
[src]

Performs copy-assignment from source. Read more

impl Eq for Value[src]

impl Display for Value[src]

impl Debug for Value[src]

impl Hash for Value[src]

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher
1.3.0
[src]

Feeds a slice of this type into the given [Hasher]. Read more

impl Serialize for Value[src]

impl<'de> Deserialize<'de> for Value[src]

Auto Trait Implementations

impl Send for Value

impl Sync for Value

Blanket Implementations

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized
[src]

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> BorrowMut for T where
    T: ?Sized
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> DeserializeOwned for T where
    T: Deserialize<'de>, 
[src]