Module wasmparser::component_types
source · Expand description
Types relating to type information provided by validation.
Structs§
- An aliasable resource identifier.
- Represents a unique identifier for a component’s core instance type known to a
crate::Validator
. - Represents a unique identifier for a component’s core module type known to a
crate::Validator
. - Represents a unique identifier for a component type type known to a
crate::Validator
. - Represents a type of a component function.
- Represents a unique identifier for a component function type known to a
crate::Validator
. - Represents a type of a component instance.
- Represents a unique identifier for a component instance type known to a
crate::Validator
. - Represents a type of a component.
- Represents a unique identifier for a component type known to a
crate::Validator
. - Represents a unique identifier for a component value type known to a
crate::Validator
. - Represents a module instance type.
- Represents a core module type.
- Represents a record type.
- Utility for mapping equivalent
ResourceId
s to each other and (when paired with theRemap
trait) non-destructively edit type lists to reflect those mappings. - An opaque identifier intended to be used to distinguish whether two resource types are equivalent or not.
- A helper typed used purely during subtyping as part of
SubtypeCx
. - Helper structure used to perform subtyping computations.
- Represents a tuple type.
- Represents a variant case.
- Represents a variant type.
Enums§
- An identifier pointing to any kind of type, component or core.
- An identifier for any kind of component type.
- An identifier for a core type or a core module’s type.
- Represents a component defined type.
- The entity type for imports and exports of a component.
- A component value type.
- Represents the kind of module instance type.
Traits§
- A type that can be aliased in the component model.
- A helper trait to provide the functionality necessary to resources within a type.