Enum Type 

pub enum Type {
    Bool,
    S8,
    U8,
    S16,
    U16,
    S32,
    U32,
    S64,
    U64,
    Float32,
    Float64,
    Char,
    String,
    List(List),
    Map(Map),
    Record(Record),
    Tuple(Tuple),
    Variant(Variant),
    Enum(Enum),
    Option(OptionType),
    Result(ResultType),
    Flags(Flags),
    Own(ResourceType),
    Borrow(ResourceType),
    Future(FutureType),
    Stream(StreamType),
    ErrorContext,
    FixedLengthList(FixedLengthList),
}

Represents a component model interface type

Variants

Bool

S8

U8

S16

U16

S32

U32

S64

U64

Float32

Float64

Char

String

List(List)

Map(Map)

Record(Record)

Tuple(Tuple)

Variant(Variant)

Enum(Enum)

Option(OptionType)

Result(ResultType)

Flags(Flags)

Own(ResourceType)

Borrow(ResourceType)

Future(FutureType)

Stream(StreamType)

ErrorContext

FixedLengthList(FixedLengthList)

Implementations

impl Type

pub fn unwrap_list(&self) -> &List

Retrieve the inner List of a Type::List.

Panics

This will panic if self is not a Type::List.

pub fn unwrap_map(&self) -> &Map

Retrieve the inner Map of a Type::Map.

Panics

This will panic if self is not a Type::Map.

pub fn unwrap_record(&self) -> &Record

Retrieve the inner Record of a Type::Record.

Panics

This will panic if self is not a Type::Record.

pub fn unwrap_tuple(&self) -> &Tuple

Retrieve the inner Tuple of a Type::Tuple.

Panics

This will panic if self is not a Type::Tuple.

pub fn unwrap_variant(&self) -> &Variant

Retrieve the inner Variant of a Type::Variant.

Panics

This will panic if self is not a Type::Variant.

pub fn unwrap_enum(&self) -> &Enum

Retrieve the inner Enum of a Type::Enum.

Panics

This will panic if self is not a Type::Enum.

pub fn unwrap_option(&self) -> &OptionType

Retrieve the inner OptionType of a Type::Option.

Panics

This will panic if self is not a Type::Option.

pub fn unwrap_result(&self) -> &ResultType

Retrieve the inner ResultType of a Type::Result.

Panics

This will panic if self is not a Type::Result.

pub fn unwrap_flags(&self) -> &Flags

Retrieve the inner Flags of a Type::Flags.

Panics

This will panic if self is not a Type::Flags.

pub fn unwrap_own(&self) -> &ResourceType

Retrieve the inner ResourceType of a Type::Own.

Panics

This will panic if self is not a Type::Own.

pub fn unwrap_borrow(&self) -> &ResourceType

Retrieve the inner ResourceType of a Type::Borrow.

Panics

This will panic if self is not a Type::Borrow.

pub fn default_value(&self, store: impl AsContextMut) -> Result<Val, Error>

Construct a default value of this type, if one exists.

Defaults are the “empty” or “zero” value of each type: zero for the numerics, the empty string/list, none for option, ok for result, no flags set, and the first case of a variant or enum.

An own or borrow of a host-defined resource defaults to a fresh handle in store, with an arbitrary representation and no destructor. Nothing can be done with such a handle beyond passing it back to the component that the resource was defined for.

Errors

Returns an error for an own or borrow of a guest-defined resource, whose representation belongs to the guest and so cannot be conjured by the host.

Returns an error for future, stream, and error-context, as there is currently no way to synthesize these without statically knowing their payload type.

An aggregate containing any of the above is an error for the same reason.

This function will return an OutOfMemory error when memory allocation fails. See the OutOfMemory type’s documentation for details on Wasmtime’s out-of-memory handling.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

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

Formats the value using the given formatter.

impl Eq for Type

impl PartialEq for Type

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Type

impl WasmType for Type

fn kind(&self) -> WasmTypeKind

Returns the WasmTypeKind of this type.

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

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

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

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 = Type> + '_>

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<Type>)> + '_>

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<Type>

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

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

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.

fn map_key_value_types(&self) -> Option<(Type, Type)>

Returns the map’s key and value Types or None if self is not a map type.