Enum Value

Source

pub enum Value<'host> {
    Unit,
    Tuple(Tuple<Value<'host>>),
    Borrow(&'host dyn Extern, Option<Rc<Value<'host>>>),
    Owned(Rc<dyn ExternOwned>, Option<Rc<Value<'host>>>),
    I64(i64),
    Bool(bool),
    String(Rc<str>),
    Function(Rc<Function<'host>>),
    EnumVariant(Rc<EnumVariant<'host>>),
    Option {
        contents: Option<Rc<Value<'host>>>,
        ty: ComplexType,
    },
    Mut(Mut<'host>),
    Type(Type),
}

Expand description

The root type of every espy value. All interoperation starts here.

Don’t be afraid to Clone this type; it contains only Copy types and Rcs.

Variants§

§

Unit

Unit is the absense of a value. It can be thought of as both an empty tuple and an empty named tuple.

§

Option

Fields

§contents: Option<Rc<Value<'host>>>

§ty: ComplexType

§

Mut(Mut<'host>)

§

Type(Type)

Implementations§

Source §

impl<'host> Value<'host>

Source

pub fn to_static(&self) -> Option<StaticValue>

Returns None if self contains any Value::Borrow or Value::Mut.

Value::Borrow is not static for obvious reasons, and Value::Mut cannot be made static because of refcell subtyping. Instead, hosts using to_static should provide mutable state outside of the espy runtime.

Source

pub fn get(&self, index: i64) -> Result<Value<'host>, Error>

Convenience method for indexing values of various types by an integer.

Usually this is most useful for reading function arguments by index, which are passed as a tuple by convention.

§Errors

Returns ErrorKind::IndexNotFound if self cannot be indexed or the index is out of range for the container.

Extern and ExternOwned implementations may return arbitary errors.

Source

pub fn find(&self, index: Rc<str>) -> Result<Value<'host>, Error>

Convenience methods for indexing values of various types by a string.

§Errors

Returns Error::index_not_found if self cannot be indexed or the index is not found in the container.

Value::Borrow and Value::Owned implementations may return arbitary errors.

Source

pub fn index( &self, index: impl Into<Value<'host>>, ) -> Result<Value<'host>, Error>

Convenience methods for indexing values of various types.

§Errors

Returns Error::index_not_found if self cannot be indexed or the index is not found in the container.

Value::Borrow and Value::Owned implementations may return arbitary errors.

Source

pub fn downcast_extern<T: Any>(&self) -> Option<&T>

Attempts to downcast instances of Value::Borrow and Value::Owned into &T.

Note that Extern and ExternOwned implementations have to opt into this behavior by implementing their any functions. The default any implementation will result in this function returning None.

Source

pub fn eq(self, other: Self) -> Result<bool, Error>

§Errors

Returns an error if self and other are incomparable.

Source

pub fn type_of(&self) -> Result<ComplexType, Error>

§Errors

Returns an error if a mutable reference is being mutably borrowed.

This can be safely ignored by the host if it has not deliberately borrowed an espy value.

Source

pub fn concat(self, r: Self) -> Self

Source

pub fn borrow(external: &'host dyn Extern) -> Self

Source

pub fn owned(external: Rc<dyn ExternOwned>) -> Self

Source §

impl<'host> Value<'host>

TryInto shortcuts

Source

pub fn into_unit(self) -> Result<(), Error>

§Errors

Returns an error if self is not a Value::Unit

Source

pub fn into_tuple(self) -> Result<Tuple<Value<'host>>, Error>

§Errors

Returns an error if self is not a Value::Tuple

Source

pub fn into_vec(self) -> Vec<Value<'host>>

Turns this value into a vector of values.

Value::Tuple’s members will be collected into the vector. Value::Unit will produce an empty vector. All other variants will produce a vector with just one member.

Source

pub fn into_bool(self) -> Result<bool, Error>

§Errors

Returns an error if self is not a Value::Bool

Source

pub fn into_i64(self) -> Result<i64, Error>

§Errors

Returns an error if self is not a Value::I64

Source

pub fn into_str(self) -> Result<Rc<str>, Error>

§Errors

Returns an error if self is not a Value::String

Source

pub fn as_str(&self) -> Option<&str>

Source

pub fn into_function(self) -> Result<Function<'host>, Error>

§Errors

Returns an error if self is not a Value::Function

Source

pub fn into_enum_variant(self) -> Result<Rc<EnumVariant<'host>>, Error>

§Errors

Returns an error if self is not a Value::EnumVariant

Source

pub fn into_option(self) -> Result<Option<Value<'host>>, Error>

§Errors

Returns an error if self is not a Value::Option

Source

pub fn into_refcell(self) -> Result<Rc<RefCell<Value<'host>>>, Error>

§Errors

Returns an error if self is not a Value::Mut

Source

pub fn into_complex_type(self) -> Result<ComplexType, Error>

§Errors

Returns an error if self is not a Value::Type or Value::Tuple or types.

Source

pub fn into_enum_type(self) -> Result<Rc<EnumType>, Error>

§Errors

Returns an error if self is not a Value::Type containing a Type::Enum

Trait Implementations§

Source §

impl<'host> Clone for Value<'host>

Source §

fn clone(&self) -> Value<'host>

Returns a duplicate of the value. Read more

1.0.0 · 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 §