Struct Type

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

The WasmType of a Value.

Implementations

impl Type

pub const BOOL: Self

pub const S8: Self

pub const S16: Self

pub const S32: Self

pub const S64: Self

pub const U8: Self

pub const U16: Self

pub const U32: Self

pub const U64: Self

pub const F32: Self

pub const F64: Self

pub const CHAR: Self

pub const STRING: Self

pub fn simple(kind: WasmTypeKind) -> Option<Self>

Returns the simple type of the given kind. Returns None if the kind represents a parameterized type.

pub fn list(element_type: impl Into<Self>) -> Self

Returns a list type with the given element type.

pub fn record<T: Into<Box<str>>>( field_types: impl IntoIterator<Item = (T, Self)>, ) -> Option<Self>

Returns a record type with the given field types. Returns None if fields is empty.

pub fn tuple(element_types: impl Into<Box<[Self]>>) -> Option<Self>

Returns a tuple type with the given element types. Returns None if element_types is empty.

pub fn variant<T: Into<Box<str>>>( cases: impl IntoIterator<Item = (T, Option<Self>)>, ) -> Option<Self>

Returns a variant type with the given case names and optional payloads. Returns None if cases is empty.

pub fn enum_ty<T: Into<Box<str>>>( cases: impl IntoIterator<Item = T>, ) -> Option<Self>

Returns an enum type with the given case names. Returns None if cases is empty.

pub fn option(some: Self) -> Self

Returns an option type with the given “some” type.

pub fn result(ok: Option<Self>, err: Option<Self>) -> Self

Returns a result type with the given optional “ok” and “err” payloads.

pub fn flags<T: Into<Box<str>>>( flags: impl IntoIterator<Item = T>, ) -> Option<Self>

Returns a flags type with the given flag names. Returns None if flags is empty.

pub fn from_wasm_type(ty: &impl WasmType) -> Option<Self>

Returns a Type matching the given WasmType. Returns None if the given type is unsupported or otherwise invalid.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl PartialEq for Type

fn eq(&self, other: &Type) -> 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 WasmType for Type

fn kind(&self) -> WasmTypeKind

Returns the WasmTypeKind of this type.

fn list_element_type(&self) -> Option<Self>

Returns the list element type or None if self is not a list type.

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

Returns an iterator of the record’s field names and Types. The iterator will be empty iff self is not a record type.

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

Returns an iterator of the tuple’s field Types. The iterator will be empty iff self is not a tuple type.

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

Returns an iterator of the variant’s case names and optional payload Types. The iterator will be empty iff self is not a tuple type.

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

Returns an iterator of the enum’s case names. The iterator will be empty iff self is not an enum type.

fn option_some_type(&self) -> Option<Self>

Returns the option’s “some” type or None if self is not an option type.

fn result_types(&self) -> Option<(Option<Self>, Option<Self>)>

Returns the result’s optional “ok” and “err” Types or None if self is not a result type.

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

Returns an iterator of the flags’ names. The iterator will be empty iff self is not a flags type.

impl Eq for Type

impl StructuralPartialEq for Type