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.