Enum Value 

pub enum Value {
    Int(i32),
    Float(f32),
    Bool(bool),
    String(Arc<str>),
    List(Arc<ListValue>),
    DivertTarget(DefinitionId),
    VariablePointer(DefinitionId),
    TempPointer {
        slot: u16,
        frame_depth: u16,
    },
    Null,
    FragmentRef(u32),
}

A runtime value in the ink VM.

Heap-allocating variants (String, List) are wrapped in Arc so that cloning a Value is always O(1) — a refcount bump, not a deep copy. This matches C#’s reference-type semantics and makes call-frame cloning (during fork_thread) essentially free. Atomic refcounts are used so Value can flow through Bevy’s parallel scheduler.

Variants

Int(i32)

Float(f32)

Bool(bool)

String(Arc<str>)

List(Arc<ListValue>)

DivertTarget(DefinitionId)

VariablePointer(DefinitionId)

A reference to a global variable, used for ref parameters.

TempPointer

A runtime-only pointer to a temp in a specific call frame. Used for ref parameters that target temp variables.

Fields

slot: u16

frame_depth: u16

Null

FragmentRef(u32)

A reference to a fragment in the output buffer’s fragment store. Fragments preserve structural output parts for locale re-rendering.

Implementations

impl Value

pub fn value_type(&self) -> ValueType

Return the type discriminant for this value.

pub fn as_int(&self) -> Option<i32>

Extract an i32 if this value is an Int.

Strict: does not coerce floats or booleans. Returns None for any other variant. For binding authors that want to read an integer argument from ink.

pub fn as_float(&self) -> Option<f32>

Extract an f32 if this value is numeric.

Lenient on the int → float direction only: an Int is widened to f32 (matching ink’s implicit int→float promotion), but a float is never truncated to an int by as_int.

pub fn as_bool(&self) -> Option<bool>

Extract a bool if this value is a Bool.

Strict: does not treat nonzero numbers as truthy. Use the VM’s own truthiness rules if you need ink-style coercion.

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

Borrow the string contents if this value is a String.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate 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<'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.

impl From<&str> for Value

fn from(v: &str) -> Self

Converts to this type from the input type.

impl From<()> for Value

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

The unit type maps to Null — the natural return for a fire-and-forget external that produces no value.

impl From<Arc<str>> for Value

fn from(v: Arc<str>) -> Self

Converts to this type from the input type.

impl From<String> for Value

fn from(v: String) -> Self

Converts to this type from the input type.

impl From<bool> for Value

fn from(v: bool) -> Self

Converts to this type from the input type.

impl From<f32> for Value

fn from(v: f32) -> Self

Converts to this type from the input type.

impl From<i32> for Value

fn from(v: i32) -> Self

Converts to this type from the input type.

impl PartialEq for Value

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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