Skip to main content

Value

Enum Value 

Source
pub enum Value {
Show 18 variants Unit, Bool(bool), Int(i64), Float(f64), Char(char), Str(String), Tuple(Vec<Value>), List(Vec<Value>), Option(Option<Box<Value>>), Range(i64, i64), FloatRange(f64, f64), Closure(Rc<Closure>), State(State<Value>), Binding(Binding<Value>), Result(Result<Box<Value>, Box<Value>>), Record(Rc<Record>), Place(Rc<RefCell<Value>>), Host(Host),
}
Expand description

A value of the interpreted program.

Variants§

§

Unit

().

§

Bool(bool)

true or false.

§

Int(i64)

A whole number of any integer type.

§

Float(f64)

A number with a fraction, of either float type.

§

Char(char)

A character.

§

Str(String)

Text: a String or a &str.

§

Tuple(Vec<Value>)

A tuple.

§

List(Vec<Value>)

A vector, an array or what an iterator yields.

§

Option(Option<Box<Value>>)

Some(..) or None.

§

Range(i64, i64)

a..b or a..=b, as the numbers it gives.

§

FloatRange(f64, f64)

A range of floats, which only says what it contains: 0.1..0.9.

§

Closure(Rc<Closure>)

A closure of the program.

§

State(State<Value>)

A State of the program, holding interpreter values.

§

Binding(Binding<Value>)

A binding that reads and writes part of another, as Binding::map makes.

§

Result(Result<Box<Value>, Box<Value>>)

Ok(..) or Err(..).

§

Record(Rc<Record>)

A value of a struct the program declares itself.

§

Place(Rc<RefCell<Value>>)

A place a closure was given to change, as |n| *n += 1 gets.

§

Host(Host)

An object of the host program.

Implementations§

Source§

impl Value

Source

pub fn as_binding(&self) -> Option<Binding<Value>>

A binding to what it holds, when it is a State or a binding.

Source

pub fn read(&self) -> Value

What a place holds, or the value itself.

Source

pub fn kind(&self) -> String

The name of its kind, for messages.

Source

pub fn items(&self) -> Result<Vec<Value>, String>

The items it gives when iterated: a list’s, a range’s numbers, an option’s one or none.

Trait Implementations§

Source§

impl Clone for Value

Source§

fn clone(&self) -> Value

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Value

Source§

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

Formats the value using the given formatter. Read more
Source§

impl FromLive for Value

Source§

fn from_live(value: Value) -> Result<Self, String>

The value as this type, or why it cannot be.
Source§

impl IntoLive for Value

Source§

fn into_live(self) -> Value

The value for the interpreter.
Source§

impl PartialEq for Value

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

Auto Trait Implementations§

§

impl !RefUnwindSafe for Value

§

impl !Send for Value

§

impl !Sync for Value

§

impl !UnwindSafe for Value

§

impl Freeze for Value

§

impl Unpin for Value

§

impl UnsafeUnpin for Value

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

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

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.