Enum rune::Value

pub enum Value {
    Unit,
    Bool(bool),
    Byte(u8),
    Char(char),
    Integer(i64),
    Float(f64),
    Type(Hash),
    StaticString(Arc<StaticString>),
    String(Shared<String>),
    Bytes(Shared<Bytes>),
    Vec(Shared<Vec>),
    Tuple(Shared<Tuple>),
    Object(Shared<Object>),
    Range(Shared<Range>),
    Future(Shared<Future>),
    Stream(Shared<Stream<Vm>>),
    Generator(Shared<Generator<Vm>>),
    GeneratorState(Shared<GeneratorState>),
    Option(Shared<Option<Value>>),
    Result(Shared<Result<Value, Value>>),
    UnitStruct(Shared<UnitStruct>),
    TupleStruct(Shared<TupleStruct>),
    Struct(Shared<Struct>),
    Variant(Shared<Variant>),
    Function(Shared<Function>),
    Format(Box<Format>),
    Iterator(Shared<Iterator>),
    Any(Shared<AnyObj>),
}

An entry on the stack.

Variants

Unit

The unit value.

Bool(bool)

A boolean.

Byte(u8)

A single byte.

Char(char)

A character.

Integer(i64)

A number.

Float(f64)

A float.

Type(Hash)

A type hash. Describes a type in the virtual machine.

StaticString(Arc<StaticString>)

A static string.

While Rc<str> would’ve been enough to store an unsized str, either Box<str> or String must be used to reduce the size of the type to 8 bytes, to ensure that a stack value is 16 bytes in size.

Rc<str> on the other hand wraps a so-called fat pointer, which is 16 bytes.

String(Shared<String>)

A UTF-8 string.

Bytes(Shared<Bytes>)

A byte string.

Vec(Shared<Vec>)

A vector containing any values.

Tuple(Shared<Tuple>)

A tuple.

Object(Shared<Object>)

An object.

Range(Shared<Range>)

A range.

Future(Shared<Future>)

A stored future.

Stream(Shared<Stream<Vm>>)

A Stream.

Generator(Shared<Generator<Vm>>)

A stored generator.

GeneratorState(Shared<GeneratorState>)

Generator state.

Option(Shared<Option<Value>>)

An empty value indicating nothing.

Result(Shared<Result<Value, Value>>)

A stored result in a slot.

UnitStruct(Shared<UnitStruct>)

An struct with a well-defined type.

TupleStruct(Shared<TupleStruct>)

A tuple with a well-defined type.

Struct(Shared<Struct>)

An struct with a well-defined type.

Variant(Shared<Variant>)

The variant of an enum.

Function(Shared<Function>)

A stored function pointer.

Format(Box<Format>)

A value being formatted.

Iterator(Shared<Iterator>)

An iterator.

Any(Shared<AnyObj>)

An opaque value that can be downcasted.

Implementations

impl Value

pub fn string_display(
    &self,
    s: &mut String,
    buf: &mut String
) -> Result<Result, VmError>

Format the value using the Protocol::STRING_DISPLAY protocol.

Requires a work buffer buf which will be used in case the value provided requires out-of-line formatting. This must be cleared between calls and can be re-used.

You must use Vm::with to specify which virtual machine this function is called inside.

Panics

This function will panic if called outside of a virtual machine.

pub fn string_debug(&self, s: &mut String) -> Result<Result, VmError>

Debug format the value using the Protocol::STRING_DEBUG protocol.

You must use Vm::with to specify which virtual machine this function is called inside.

Panics

This function will panic if called outside of a virtual machine.

pub fn into_iter(self) -> Result<Iterator, VmError>

Convert value into an iterator using the Protocol::INTO_ITER protocol.

You must use Vm::with to specify which virtual machine this function is called inside.

Panics

This function will panic if called outside of a virtual machine.

pub fn into_future(self) -> Result<Future, VmError>

Coerce into future, or convert into a future using the Protocol::INTO_FUTURE protocol.

You must use Vm::with to specify which virtual machine this function is called inside.

Panics

This function will panic if called outside of a virtual machine.

pub fn into_shared_future(self) -> Result<Shared<Future>, VmError>

Coerce into a shared future, or convert into a future using the Protocol::INTO_FUTURE protocol.

You must use Vm::with to specify which virtual machine this function is called inside.

Panics

This function will panic if called outside of a virtual machine.

pub fn into_type_name(self) -> Result<String, VmError>

Retrieves a human readable type name for the current value.

You must use Vm::with to specify which virtual machine this function is called inside.

Panics

This function will panic if called outside of a virtual machine.

pub fn vec(vec: Vec<Value>) -> Self

Construct a vector.

pub fn tuple(vec: Vec<Value>) -> Self

Construct a tuple.

pub fn unit_struct(rtti: Arc<Rtti>) -> Self

Construct an empty.

pub fn tuple_struct(rtti: Arc<Rtti>, vec: Vec<Value>) -> Self

Construct a typed tuple.

pub fn unit_variant(rtti: Arc<VariantRtti>) -> Self

Construct an empty variant.

pub fn tuple_variant(rtti: Arc<VariantRtti>, vec: Vec<Value>) -> Self

Construct a tuple variant.

pub fn take(self) -> Result<Self, VmError>

Take the interior value.

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

Try to coerce value into a unit.

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

Try to coerce value into a boolean.

pub fn as_bool(&self) -> Result<bool, VmError>

Try to coerce value into a boolean.

pub fn into_byte(self) -> Result<u8, VmError>

Try to coerce value into a byte.

pub fn into_char(self) -> Result<char, VmError>

Try to coerce value into a character.

pub fn into_integer(self) -> Result<i64, VmError>

Try to coerce value into an integer.

pub fn into_float(self) -> Result<f64, VmError>

Try to coerce value into a float.

pub fn into_result(self) -> Result<Shared<Result<Value, Value>>, VmError>

Try to coerce value into a result.

pub fn into_generator(self) -> Result<Shared<Generator<Vm>>, VmError>

Try to coerce value into a generator.

pub fn into_stream(self) -> Result<Shared<Stream<Vm>>, VmError>

Try to coerce value into a stream.

pub fn into_generator_state(self) -> Result<Shared<GeneratorState>, VmError>

Try to coerce value into a future.

pub fn into_option(self) -> Result<Shared<Option<Value>>, VmError>

Try to coerce value into an option.

pub fn into_string(self) -> Result<Shared<String>, VmError>

Try to coerce value into a string.

pub fn into_bytes(self) -> Result<Shared<Bytes>, VmError>

Try to coerce value into bytes.

pub fn into_vec(self) -> Result<Shared<Vec>, VmError>

Try to coerce value into a vector.

pub fn into_tuple(self) -> Result<Shared<Tuple>, VmError>

Try to coerce value into a tuple.

pub fn into_object(self) -> Result<Shared<Object>, VmError>

Try to coerce value into an object.

pub fn into_range(self) -> Result<Shared<Range>, VmError>

Try to coerce value into a range.

pub fn into_function(self) -> Result<Shared<Function>, VmError>

Try to coerce value into a function pointer.

pub fn into_format(self) -> Result<Box<Format>, VmError>

Try to coerce value into a format spec.

pub fn into_iterator(self) -> Result<Shared<Iterator>, VmError>

Try to coerce value into an iterator.

pub fn into_any(self) -> Result<Shared<AnyObj>, VmError>

Try to coerce value into an opaque value.

pub fn into_any_ptr<T>(self) -> Result<(*const T, RawRef), VmError> where
    T: Any, 

Try to coerce value into a ref and an associated guard.

Safety

This coerces a strong guard to the value into its raw components.

It is up to the caller to ensure that the returned pointer does not outlive the returned guard, not the virtual machine the value belongs to.

pub fn into_any_mut<T>(self) -> Result<(*mut T, RawMut), VmError> where
    T: Any, 

Try to coerce value into a ref and an associated guard.

Safety

This coerces a strong guard to the value into its raw components.

It is up to the caller to ensure that the returned pointer does not outlive the returned guard, not the virtual machine the value belongs to.

pub fn type_hash(&self) -> Result<Hash, VmError>

Get the type hash for the current value.

One notable feature is that the type of a variant is its container enum, and not the type hash of the variant itself.

pub fn type_info(&self) -> Result<TypeInfo, VmError>

Get the type information for the current value.

Trait Implementations

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 Debug for Value

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

Formats the value using the given formatter.

impl Default for Value

fn default() -> Self

Returns the “default value” for a type.

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

Deserialize implementation for value pointers.

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

Deserialize this value from the given Serde deserializer.

impl From<()> for Value

fn from((): ()) -> Self

Converts to this type from the input type.

impl From<AnyObj> for Value

fn from(value: AnyObj) -> Self

Converts to this type from the input type.

impl From<Arc<StaticString>> for Value

fn from(value: Arc<StaticString>) -> Self

Converts to this type from the input type.

impl From<Box<Format, Global>> for Value

fn from(value: Box<Format>) -> Self

Converts to this type from the input type.

impl From<Bytes> for Value

fn from(value: Bytes) -> Self

Converts to this type from the input type.

impl From<Format> for Value

fn from(value: Format) -> Self

Converts to this type from the input type.

impl From<Function> for Value

fn from(value: Function) -> Self

Converts to this type from the input type.

impl From<Future> for Value

fn from(value: Future) -> Self

Converts to this type from the input type.

impl From<Generator<Vm>> for Value

fn from(value: Generator<Vm>) -> Self

Converts to this type from the input type.

impl From<GeneratorState> for Value

fn from(value: GeneratorState) -> Self

Converts to this type from the input type.

impl From<Iterator> for Value

fn from(value: Iterator) -> Self

Converts to this type from the input type.

impl From<Object> for Value

fn from(value: Object) -> Self

Converts to this type from the input type.

impl From<Range> for Value

fn from(value: Range) -> Self

Converts to this type from the input type.

impl From<Shared<AnyObj>> for Value

fn from(value: Shared<AnyObj>) -> Self

Converts to this type from the input type.

impl From<Shared<Bytes>> for Value

fn from(value: Shared<Bytes>) -> Self

Converts to this type from the input type.

impl From<Shared<Function>> for Value

fn from(value: Shared<Function>) -> Self

Converts to this type from the input type.

impl From<Shared<Future>> for Value

fn from(value: Shared<Future>) -> Self

Converts to this type from the input type.

impl From<Shared<Generator<Vm>>> for Value

fn from(value: Shared<Generator<Vm>>) -> Self

Converts to this type from the input type.

impl From<Shared<GeneratorState>> for Value

fn from(value: Shared<GeneratorState>) -> Self

Converts to this type from the input type.

impl From<Shared<Iterator>> for Value

fn from(value: Shared<Iterator>) -> Self

Converts to this type from the input type.

impl From<Shared<Object>> for Value

fn from(value: Shared<Object>) -> Self

Converts to this type from the input type.

impl From<Shared<Option<Value>>> for Value

fn from(value: Shared<Option<Value>>) -> Self

Converts to this type from the input type.

impl From<Shared<Range>> for Value

fn from(value: Shared<Range>) -> Self

Converts to this type from the input type.

impl From<Shared<Result<Value, Value>>> for Value

fn from(value: Shared<Result<Value, Value>>) -> Self

Converts to this type from the input type.

impl From<Shared<Stream<Vm>>> for Value

fn from(value: Shared<Stream<Vm>>) -> Self

Converts to this type from the input type.

impl From<Shared<String>> for Value

fn from(value: Shared<String>) -> Self

Converts to this type from the input type.

impl From<Shared<Struct>> for Value

fn from(value: Shared<Struct>) -> Self

Converts to this type from the input type.

impl From<Shared<Tuple>> for Value

fn from(value: Shared<Tuple>) -> Self

Converts to this type from the input type.

impl From<Shared<TupleStruct>> for Value

fn from(value: Shared<TupleStruct>) -> Self

Converts to this type from the input type.

impl From<Shared<UnitStruct>> for Value

fn from(value: Shared<UnitStruct>) -> Self

Converts to this type from the input type.

impl From<Shared<Variant>> for Value

fn from(value: Shared<Variant>) -> Self

Converts to this type from the input type.

impl From<Shared<Vec>> for Value

fn from(value: Shared<Vec>) -> Self

Converts to this type from the input type.

impl From<StaticString> for Value

fn from(value: StaticString) -> Self

Converts to this type from the input type.

impl From<Stream<Vm>> for Value

fn from(value: Stream<Vm>) -> Self

Converts to this type from the input type.

impl From<String> for Value

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<Struct> for Value

fn from(value: Struct) -> Self

Converts to this type from the input type.

impl<T> From<T> for Value where
    T: Any, 

fn from(any: T) -> Self

Converts to this type from the input type.

impl From<Tuple> for Value

fn from(value: Tuple) -> Self

Converts to this type from the input type.

impl From<TupleStruct> for Value

fn from(value: TupleStruct) -> Self

Converts to this type from the input type.

impl From<UnitStruct> for Value

fn from(value: UnitStruct) -> Self

Converts to this type from the input type.

impl From<Variant> for Value

fn from(value: Variant) -> Self

Converts to this type from the input type.

impl From<Vec> for Value

fn from(value: Vec) -> Self

Converts to this type from the input type.

impl From<bool> for Value

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<char> for Value

fn from(value: char) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(value: i64) -> Self

Converts to this type from the input type.

impl From<u8> for Value

fn from(value: u8) -> Self

Converts to this type from the input type.

impl FromIterator<Value> for Stack

fn from_iter<T: IntoIterator<Item = Value>>(iter: T) -> Self

Creates a value from an iterator.

impl FromValue for Value

fn from_value(value: Value) -> Result<Self, VmError>

Try to convert to the given type, from the given value.

impl Serialize for Value

Serialize implementation for value pointers.

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

Serialize this value into the given Serde serializer.

impl ToValue for &Value

fn to_value(self) -> Result<Value, VmError>

Convert into a value.

impl ToValue for Value

fn to_value(self) -> Result<Value, VmError>

Convert into a value.