Module types

Types relating to type information provided by validation.

Structs

• AliasableResourceId
  An aliasable resource identifier.
• ComponentCoreInstanceTypeId
  Represents a unique identifier for a component’s core instance type known to a crate::Validator.
• ComponentCoreModuleTypeId
  Represents a unique identifier for a component’s core module type known to a crate::Validator.
• ComponentDefinedTypeId
  Represents a unique identifier for a component type type known to a crate::Validator.
• ComponentFuncType
  Represents a type of a component function.
• ComponentFuncTypeId
  Represents a unique identifier for a component function type known to a crate::Validator.
• ComponentInstanceType
  Represents a type of a component instance.
• ComponentInstanceTypeId
  Represents a unique identifier for a component instance type known to a crate::Validator.
• ComponentType
  Represents a type of a component.
• ComponentTypeId
  Represents a unique identifier for a component type known to a crate::Validator.
• ComponentValueTypeId
  Represents a unique identifier for a component value type known to a crate::Validator.
• CoreTypeId
  Represents a unique identifier for a core type type known to a crate::Validator
• InstanceType
  Represents a module instance type.
• ModuleType
  Represents a core module type.
• RecGroupId
  Represents a unique identifier for a recursion group type known to a crate::Validator.
• RecordType
  Represents a record type.
• Remapping
  Utility for mapping equivalent ResourceIds to each other and (when paired with the Remap trait) non-destructively edit type lists to reflect those mappings.
• ResourceId
  An opaque identifier intended to be used to distinguish whether two resource types are equivalent or not.
• SubtypeArena
  A helper typed used purely during subtyping as part of SubtypeCx.
• SubtypeCx
  Helper structure used to perform subtyping computations.
• TupleType
  Represents a tuple type.
• Types
  Represents the types known to a crate::Validator once validation has completed.
• TypesRef
  Represents the types known to a crate::Validator during validation.
• VariantCase
  Represents a variant case.
• VariantType
  Represents a variant type.

Enums

• AnyTypeId
  An identifier pointing to any kind of type, component or core.
• ComponentAnyTypeId
  An identifier for any kind of component type.
• ComponentCoreTypeId
  An identifier for a core type or a core module’s type.
• ComponentDefinedType
  Represents a component defined type.
• ComponentEntityType
  The entity type for imports and exports of a component.
• ComponentValType
  A component value type.
• CoreInstanceTypeKind
  Represents the kind of module instance type.
• CoreType
  A core WebAssembly type, in the core WebAssembly types index space.
• EntityType
  The entity type for imports and exports of a module.

Traits

• Aliasable
  A type that can be aliased in the component model.
• Remap
  A helper trait to provide the functionality necessary to resources within a type.
• TypeData
  A trait shared by all types within a Types.
• TypeIdentifier
  A trait shared by all type identifiers.