Struct ModuleTypes

pub struct ModuleTypes { /* private fields */ }

The set of de-duplicated types within a module.

Implementations

impl ModuleTypes

pub fn get(&self, id: TypeId) -> &Type

Get a type associated with an ID

pub fn get_mut(&mut self, id: TypeId) -> &mut Type

Get a type associated with an ID

pub fn params_results(&self, id: TypeId) -> (&[ValType], &[ValType])

Get the parameters and results for the given type.

pub fn params(&self, id: TypeId) -> &[ValType]

Get the parameters for the given type.

pub fn results(&self, id: TypeId) -> &[ValType]

Get the results for the given type.

pub fn by_name(&self, name: &str) -> Option<TypeId>

Get a type ID by its name.

This is currently only intended for in-memory modifications, and by default will always return None for a newly parsed module. A hypothetical future WAT text format to walrus::Module parser could preserve type names from the WAT.

pub fn iter(&self) -> impl Iterator<Item = &Type>

Get a shared reference to this module’s types.

pub fn delete(&mut self, ty: TypeId)

Removes a type from this module.

It is up to you to ensure that any potential references to the deleted type are also removed, eg call_indirect expressions, function types, etc.

pub fn add(&mut self, params: &[ValType], results: &[ValType]) -> TypeId

Add a new type to this module, and return its Id

pub fn find(&self, params: &[ValType], results: &[ValType]) -> Option<TypeId>

Find the existing type for the given parameters and results.

Trait Implementations

impl Debug for ModuleTypes

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ModuleTypes

fn default() -> ModuleTypes

Returns the “default value” for a type.