Enum wac_types::Type

pub enum Type {
    Resource(ResourceId),
    Func(FuncTypeId),
    Value(ValueType),
    Interface(InterfaceId),
    World(WorldId),
    Module(ModuleTypeId),
}

Represent a component model type.

Variants

Resource(ResourceId)

The type is a resource.

Func(FuncTypeId)

The type is a function type.

Value(ValueType)

The type is a value type.

Interface(InterfaceId)

The type is an interface (i.e. instance type).

World(WorldId)

The type is a world (i.e. component type).

Module(ModuleTypeId)

The type is a core module type.

Implementations

impl Type

pub fn desc(&self, types: &Types) -> &'static str

Gets a description of the type.

pub fn visit_defined_types<'a, E>( &self, types: &'a Types, visitor: &mut impl FnMut(&'a Types, DefinedTypeId) -> Result<(), E>, ) -> Result<(), E>

Visits each defined type referenced by this type.

If the visitor returns Err, the visiting stops and the error is returned.

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

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Type

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

impl Eq for Type

impl StructuralPartialEq for Type