Struct Value

pub struct Value(/* private fields */);

A Value is a WAVE value, and implements WasmValue.

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<'a> From<&'a str> for Value

fn from(value: &'a str) -> Self

Converts to this type from the input type.

impl<const N: usize, T: ValueTyped + Into<Value>> From<[T; N]> for Value

fn from(values: [T; N]) -> Self

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>> From<(T1,)> for Value

fn from((T1): (T1,)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>> From<(T1, T2)> for Value

fn from((T1, T2): (T1, T2)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>> From<(T1, T2, T3)> for Value

fn from((T1, T2, T3): (T1, T2, T3)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>> From<(T1, T2, T3, T4)> for Value

fn from((T1, T2, T3, T4): (T1, T2, T3, T4)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5)> for Value

fn from((T1, T2, T3, T4, T5): (T1, T2, T3, T4, T5)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6)> for Value

fn from((T1, T2, T3, T4, T5, T6): (T1, T2, T3, T4, T5, T6)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7)> for Value

fn from((T1, T2, T3, T4, T5, T6, T7): (T1, T2, T3, T4, T5, T6, T7)) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8): (T1, T2, T3, T4, T5, T6, T7, T8), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9): (T1, T2, T3, T4, T5, T6, T7, T8, T9), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>, T11: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>, T11: ValueTyped + Into<Value>, T12: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>, T11: ValueTyped + Into<Value>, T12: ValueTyped + Into<Value>, T13: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>, T11: ValueTyped + Into<Value>, T12: ValueTyped + Into<Value>, T13: ValueTyped + Into<Value>, T14: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>, T11: ValueTyped + Into<Value>, T12: ValueTyped + Into<Value>, T13: ValueTyped + Into<Value>, T14: ValueTyped + Into<Value>, T15: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15), ) -> Value

Converts to this type from the input type.

impl<T1: ValueTyped + Into<Value>, T2: ValueTyped + Into<Value>, T3: ValueTyped + Into<Value>, T4: ValueTyped + Into<Value>, T5: ValueTyped + Into<Value>, T6: ValueTyped + Into<Value>, T7: ValueTyped + Into<Value>, T8: ValueTyped + Into<Value>, T9: ValueTyped + Into<Value>, T10: ValueTyped + Into<Value>, T11: ValueTyped + Into<Value>, T12: ValueTyped + Into<Value>, T13: ValueTyped + Into<Value>, T14: ValueTyped + Into<Value>, T15: ValueTyped + Into<Value>, T16: ValueTyped + Into<Value>> From<(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)> for Value

fn from( (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16): (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16), ) -> Value

Converts to this type from the input type.

impl<T: ValueTyped + Into<Value>> From<Option<T>> for Value

fn from(value: Option<T>) -> Self

Converts to this type from the input type.

impl<T: ValueTyped + Into<Value>, U: ValueTyped + Into<Value>> From<Result<T, U>> for Value

fn from(value: Result<T, U>) -> 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<T: ValueTyped + Into<Value>> From<Vec<T>> for Value

fn from(values: Vec<T>) -> 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<f32> for Value

fn from(value: f32) -> 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<i16> for Value

fn from(value: i16) -> Self

Converts to this type from the input type.

impl From<i32> for Value

fn from(value: i32) -> 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<i8> for Value

fn from(value: i8) -> Self

Converts to this type from the input type.

impl From<u16> for Value

fn from(value: u16) -> Self

Converts to this type from the input type.

impl From<u32> for Value

fn from(value: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Value

fn from(value: u64) -> 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 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 WasmValue for Value

type Type = Type

A type representing types of these values.

fn kind(&self) -> WasmTypeKind

The kind of type of this value.

fn make_bool(val: bool) -> Self

Returns a new WasmValue of the given type.

fn unwrap_bool(&self) -> bool

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_s8(val: i8) -> Self

Returns a new WasmValue of the given type.

fn unwrap_s8(&self) -> i8

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_s16(val: i16) -> Self

Returns a new WasmValue of the given type.

fn unwrap_s16(&self) -> i16

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_s32(val: i32) -> Self

Returns a new WasmValue of the given type.

fn unwrap_s32(&self) -> i32

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_s64(val: i64) -> Self

Returns a new WasmValue of the given type.

fn unwrap_s64(&self) -> i64

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_u8(val: u8) -> Self

Returns a new WasmValue of the given type.

fn unwrap_u8(&self) -> u8

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_u16(val: u16) -> Self

Returns a new WasmValue of the given type.

fn unwrap_u16(&self) -> u16

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_u32(val: u32) -> Self

Returns a new WasmValue of the given type.

fn unwrap_u32(&self) -> u32

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_u64(val: u64) -> Self

Returns a new WasmValue of the given type.

fn unwrap_u64(&self) -> u64

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_char(val: char) -> Self

Returns a new WasmValue of the given type.

fn unwrap_char(&self) -> char

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn make_f32(val: f32) -> Self

Returns a new WasmValue of the given type.

fn make_f64(val: f64) -> Self

Returns a new WasmValue of the given type.

fn make_string(val: Cow<'_, str>) -> Self

Returns a new WasmValue of the given type.

fn make_list( ty: &Self::Type, vals: impl IntoIterator<Item = Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_record<'a>( ty: &Self::Type, fields: impl IntoIterator<Item = (&'a str, Self)>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_tuple( ty: &Self::Type, vals: impl IntoIterator<Item = Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_variant( ty: &Self::Type, case_name: &str, val: Option<Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_enum(ty: &Self::Type, case: &str) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_option( ty: &Self::Type, val: Option<Self>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_result( ty: &Self::Type, val: Result<Option<Self>, Option<Self>>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn make_flags<'a>( ty: &Self::Type, names: impl IntoIterator<Item = &'a str>, ) -> Result<Self, WasmValueError>

Returns a new WasmValue of the given type.

fn unwrap_f32(&self) -> f32

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_f64(&self) -> f64

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_string(&self) -> Cow<'_, str>

Returns the underlying value of the WasmValue, panicing if it’s the wrong type.

fn unwrap_list(&self) -> Box<dyn Iterator<Item = Cow<'_, Self>> + '_>

Returns an iterator of the element Vals of the list.

fn unwrap_record( &self, ) -> Box<dyn Iterator<Item = (Cow<'_, str>, Cow<'_, Self>)> + '_>

Returns an iterator of the field names and Vals of the record.

fn unwrap_tuple(&self) -> Box<dyn Iterator<Item = Cow<'_, Self>> + '_>

Returns an iterator of the field Vals of the tuple.

fn unwrap_variant(&self) -> (Cow<'_, str>, Option<Cow<'_, Self>>)

Returns the variant case name and optional payload WasmValue of the variant.

fn unwrap_enum(&self) -> Cow<'_, str>

Returns the case name of the enum.

fn unwrap_option(&self) -> Option<Cow<'_, Self>>

Returns the optional WasmValue.

fn unwrap_result(&self) -> Result<Option<Cow<'_, Self>>, Option<Cow<'_, Self>>>

Returns Ok() or Err() with the optional payload WasmValue.

fn unwrap_flags(&self) -> Box<dyn Iterator<Item = Cow<'_, str>> + '_>

Returns an iterator of the names of the flags WasmValue.

impl StructuralPartialEq for Value