Enum wasmer_wasix::syscalls::Value

pub(crate) enum Value {
    I32(i32),
    I64(i64),
    F32(f32),
    F64(f64),
    ExternRef(Option<ExternRef>),
    FuncRef(Option<Function>),
    V128(u128),
}

WebAssembly computations manipulate values of basic value types:

• Integers (32 or 64 bit width)
• Floating-point (32 or 64 bit width)
• Vectors (128 bits, with 32 or 64 bit lanes)

Spec: https://webassembly.github.io/spec/core/exec/runtime.html#values

Variants

I32(i32)

A 32-bit integer.

In Wasm integers are sign-agnostic, i.e. this can either be signed or unsigned.

I64(i64)

A 64-bit integer.

In Wasm integers are sign-agnostic, i.e. this can either be signed or unsigned.

F32(f32)

A 32-bit float.

F64(f64)

A 64-bit float.

ExternRef(Option<ExternRef>)

An externref value which can hold opaque data to the wasm instance itself.

FuncRef(Option<Function>)

A first-class reference to a WebAssembly function.

V128(u128)

A 128-bit number

Implementations

impl Value

pub fn null() -> Value

Returns a null externref value.

pub fn ty(&self) -> Type

Returns the corresponding [Type] for this Value.

pub fn as_raw(&self, store: &impl AsStoreRef) -> RawValue

Converts the Value into a RawValue.

pub unsafe fn from_raw( store: &mut impl AsStoreMut, ty: Type, raw: RawValue, ) -> Value

Converts a RawValue to a Value.

Safety

pub fn is_from_store(&self, store: &impl AsStoreRef) -> bool

Checks whether a value can be used with the given context.

Primitive (i32, i64, etc) and null funcref/externref values are not tied to a context and can be freely shared between contexts.

Externref and funcref values are tied to a context and can only be used with that context.

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

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_i32(&self) -> i32

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

pub fn i64(&self) -> Option<i64>

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_i64(&self) -> i64

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

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

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_f32(&self) -> f32

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

pub fn f64(&self) -> Option<f64>

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_f64(&self) -> f64

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

pub fn externref(&self) -> Option<&Option<ExternRef>>

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_externref(&self) -> &Option<ExternRef>

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

pub fn funcref(&self) -> Option<&Option<Function>>

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_funcref(&self) -> &Option<Function>

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

pub fn v128(&self) -> Option<u128>

Attempt to access the underlying value of this Value, returning None if it is not the correct type.

pub fn unwrap_v128(&self) -> u128

Returns the underlying value of this Value, panicking if it’s the wrong type.

Panics

Panics if self is not of the right type.

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<(), Error>

Formats the value using the given formatter.

impl Display for Value

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

Formats the value using the given formatter.

impl From<ExternRef> for Value

fn from(val: ExternRef) -> Value

Converts to this type from the input type.

impl From<Function> for Value

fn from(val: Function) -> Value

Converts to this type from the input type.

impl From<Option<ExternRef>> for Value

fn from(val: Option<ExternRef>) -> Value

Converts to this type from the input type.

impl From<Option<Function>> for Value

fn from(val: Option<Function>) -> Value

Converts to this type from the input type.

impl From<f32> for Value

fn from(val: f32) -> Value

Converts to this type from the input type.

impl From<f64> for Value

fn from(val: f64) -> Value

Converts to this type from the input type.

impl From<i32> for Value

fn from(val: i32) -> Value

Converts to this type from the input type.

impl From<i64> for Value

fn from(val: i64) -> Value

Converts to this type from the input type.

impl From<u32> for Value

fn from(val: u32) -> Value

Converts to this type from the input type.

impl From<u64> for Value

fn from(val: u64) -> Value

Converts to this type from the input type.

impl PartialEq for Value

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl TryFrom<Value> for Option<ExternRef>

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from( value: Value, ) -> Result<Option<ExternRef>, <Option<ExternRef> as TryFrom<Value>>::Error>

Performs the conversion.

impl TryFrom<Value> for Option<Function>

type Error = &'static str

The type returned in the event of a conversion error.

fn try_from( value: Value, ) -> Result<Option<Function>, <Option<Function> as TryFrom<Value>>::Error>

Performs the conversion.