Struct TypeModule

pub struct TypeModule {
    pub imports: IndexMap<(String, String), EntityType>,
    pub exports: IndexMap<String, EntityType>,
}

The type of a module in the component model.

Note that this is not to be confused with TypeComponent below. This is intended only for core wasm modules, not for components.

Fields

imports: IndexMap<(String, String), EntityType>

The values that this module imports.

Note that the value of this map is a core wasm EntityType, not a component model TypeRef. Additionally note that this reflects the two-level namespace of core WebAssembly, but unlike core wasm all import names are required to be unique to describe a module in the component model.

exports: IndexMap<String, EntityType>

The values that this module exports.

Note that the value of this map is the core wasm EntityType to represent that core wasm items are being exported.

Trait Implementations

impl Default for TypeModule

fn default() -> TypeModule

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TypeModule

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TypeModule

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeTrace for TypeModule

fn trace<F, E>(&self, func: &mut F) -> Result<(), E>

where F: FnMut(EngineOrModuleTypeIndex) -> Result<(), E>,

Visit each edge.

fn trace_mut<F, E>(&mut self, func: &mut F) -> Result<(), E>

where F: FnMut(&mut EngineOrModuleTypeIndex) -> Result<(), E>,

Visit each edge, mutably.

fn trace_engine_indices<F, E>(&self, func: &mut F) -> Result<(), E>

where F: FnMut(VMSharedTypeIndex) -> Result<(), E>,

Trace all VMSharedTypeIndex edges, ignoring other edges.

fn canonicalize_for_runtime_usage<F>(&mut self, module_to_engine: &mut F)

where F: FnMut(ModuleInternedTypeIndex) -> VMSharedTypeIndex,

Canonicalize self by rewriting all type references inside self from module-level interned type indices to engine-level interned type indices.

fn is_canonicalized_for_runtime_usage(&self) -> bool

Is this type canonicalized for runtime usage?

fn canonicalize_for_hash_consing<F>( &mut self, rec_group_range: Range<ModuleInternedTypeIndex>, module_to_engine: &mut F, )

where F: FnMut(ModuleInternedTypeIndex) -> VMSharedTypeIndex,

Canonicalize self by rewriting all type references inside self from module-level interned type indices to either engine-level interned type indices or recgroup-relative indices.

fn is_canonicalized_for_hash_consing(&self) -> bool

Is this type canonicalized for hash consing?