Enum Val

pub enum Val {
    I32(i32),
    I64(i64),
    F32(u32),
    F64(u64),
    V128(V128),
    FuncRef(Option<Func>),
    ExternRef(Option<Rooted<ExternRef>>),
    AnyRef(Option<Rooted<AnyRef>>),
}

Possible runtime values that a WebAssembly module can either consume or produce.

Note that we inline the enum Ref { ... } variants into enum Val { ... } here as a size optimization.

Variants

I32(i32)

A 32-bit integer.

I64(i64)

A 64-bit integer.

F32(u32)

A 32-bit float.

Note that the raw bits of the float are stored here, and you can use f32::from_bits to create an f32 value.

F64(u64)

A 64-bit float.

Note that the raw bits of the float are stored here, and you can use f64::from_bits to create an f64 value.

V128(V128)

A 128-bit number.

FuncRef(Option<Func>)

A function reference.

ExternRef(Option<Rooted<ExternRef>>)

An external reference.

AnyRef(Option<Rooted<AnyRef>>)

An internal reference.

Implementations

impl Val

pub fn null_ref(heap_type: &HeapType) -> Val

Returns the null reference for the given heap type.

pub const fn null_func_ref() -> Val

Returns the null function reference value.

The return value has type (ref null nofunc) aka nullfuncref and is a subtype of all function references.

pub const fn null_extern_ref() -> Val

Returns the null function reference value.

The return value has type (ref null extern) aka nullexternref and is a subtype of all external references.

pub const fn null_any_ref() -> Val

Returns the null function reference value.

The return value has type (ref null any) aka nullref and is a subtype of all internal references.

pub fn default_for_ty(ty: &ValType) -> Option<Val>

Returns the default value for the given type, if any exists.

Returns None if there is no default value for the given type (for example, non-nullable reference types do not have a default value).

pub fn ty(&self, store: impl AsContext) -> Result<ValType, Error>

Returns the corresponding ValType for this Val.

Errors

Returns an error if this value is a GC reference that has since been unrooted.

Panics

Panics if this value is associated with a different store.

pub fn matches_ty( &self, store: impl AsContext, ty: &ValType, ) -> Result<bool, Error>

Does this value match the given type?

Returns an error is an underlying Rooted has been unrooted.

Panics

Panics if this value is not associated with the given store.

pub unsafe fn to_raw(&self, store: impl AsContextMut) -> Result<ValRaw, Error>

Convenience method to convert this Val into a ValRaw.

Returns an error if this value is a GC reference and the GC reference has been unrooted.

Unsafety

This method is unsafe for the reasons that ExternRef::to_raw and Func::to_raw are unsafe.

pub unsafe fn from_raw( store: impl AsContextMut, raw: ValRaw, ty: ValType, ) -> Val

Convenience method to convert a ValRaw into a Val.

Unsafety

This method is unsafe for the reasons that ExternRef::from_raw and Func::from_raw are unsafe. Additionally there’s no guarantee otherwise that raw should have the type ty specified.

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

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

pub fn unwrap_i32(&self) -> i32

Returns the underlying value of this Val, 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 Val, returning None if it is not the correct type.

pub fn unwrap_i64(&self) -> i64

Returns the underlying value of this Val, 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 Val, returning None if it is not the correct type.

pub fn unwrap_f32(&self) -> f32

Returns the underlying value of this Val, 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 Val, returning None if it is not the correct type.

pub fn unwrap_f64(&self) -> f64

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

Panics

Panics if self is not of the right type.

pub fn func_ref(&self) -> Option<Option<&Func>>

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

pub fn unwrap_func_ref(&self) -> Option<&Func>

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

Panics

Panics if self is not of the right type.

pub fn extern_ref(&self) -> Option<Option<&Rooted<ExternRef>>>

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

pub fn unwrap_extern_ref(&self) -> Option<&Rooted<ExternRef>>

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

Panics

Panics if self is not of the right type.

pub fn any_ref(&self) -> Option<Option<&Rooted<AnyRef>>>

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

pub fn unwrap_any_ref(&self) -> Option<&Rooted<AnyRef>>

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

Panics

Panics if self is not of the right type.

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

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

pub fn unwrap_v128(&self) -> V128

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

Panics

Panics if self is not of the right type.

pub fn ref_(self) -> Option<Ref>

Get this value’s underlying reference, if any.

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

Attempt to access the underlying externref value of this Val.

If this is not an externref, then None is returned.

If this is a null externref, then Some(None) is returned.

If this is a non-null externref, then Some(Some(..)) is returned.

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

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

If this is a null externref, then None is returned.

If this is a non-null externref, then Some(..) is returned.

Panics

Panics if self is not a (nullable) externref.

pub fn anyref(&self) -> Option<Option<&Rooted<AnyRef>>>

Attempt to access the underlying anyref value of this Val.

If this is not an anyref, then None is returned.

If this is a null anyref, then Some(None) is returned.

If this is a non-null anyref, then Some(Some(..)) is returned.

pub fn unwrap_anyref(&self) -> Option<&Rooted<AnyRef>>

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

If this is a null anyref, then None is returned.

If this is a non-null anyref, then Some(..) is returned.

Panics

Panics if self is not a (nullable) anyref.

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

Attempt to access the underlying funcref value of this Val.

If this is not an funcref, then None is returned.

If this is a null funcref, then Some(None) is returned.

If this is a non-null funcref, then Some(Some(..)) is returned.

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

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

If this is a null funcref, then None is returned.

If this is a non-null funcref, then Some(..) is returned.

Panics

Panics if self is not a (nullable) funcref.

Trait Implementations

impl Clone for Val

fn clone(&self) -> Val

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Val

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

Formats the value using the given formatter.

impl From<Func> for Val

fn from(val: Func) -> Val

Converts to this type from the input type.

impl From<Option<Func>> for Val

fn from(val: Option<Func>) -> Val

Converts to this type from the input type.

impl From<Option<Rooted<AnyRef>>> for Val

fn from(val: Option<Rooted<AnyRef>>) -> Val

Converts to this type from the input type.

impl From<Option<Rooted<ArrayRef>>> for Val

fn from(val: Option<Rooted<ArrayRef>>) -> Val

Converts to this type from the input type.

impl From<Option<Rooted<ExternRef>>> for Val

fn from(val: Option<Rooted<ExternRef>>) -> Val

Converts to this type from the input type.

impl From<Option<Rooted<StructRef>>> for Val

fn from(val: Option<Rooted<StructRef>>) -> Val

Converts to this type from the input type.

impl From<Ref> for Val

fn from(val: Ref) -> Val

Converts to this type from the input type.

impl From<Rooted<AnyRef>> for Val

fn from(val: Rooted<AnyRef>) -> Val

Converts to this type from the input type.

impl From<Rooted<ArrayRef>> for Val

fn from(val: Rooted<ArrayRef>) -> Val

Converts to this type from the input type.

impl From<Rooted<ExternRef>> for Val

fn from(val: Rooted<ExternRef>) -> Val

Converts to this type from the input type.

impl From<Rooted<StructRef>> for Val

fn from(val: Rooted<StructRef>) -> Val

Converts to this type from the input type.

impl From<V128> for Val

fn from(val: V128) -> Val

Converts to this type from the input type.

impl From<f32> for Val

fn from(val: f32) -> Val

Converts to this type from the input type.

impl From<f64> for Val

fn from(val: f64) -> Val

Converts to this type from the input type.

impl From<i32> for Val

fn from(val: i32) -> Val

Converts to this type from the input type.

impl From<i64> for Val

fn from(val: i64) -> Val

Converts to this type from the input type.

impl From<u128> for Val

fn from(val: u128) -> Val

Converts to this type from the input type.

impl Copy for Val