Struct SubtypeArena

pub struct SubtypeArena<'a> { /* private fields */ }

A helper typed used purely during subtyping as part of SubtypeCx.

This takes a types list as input which is the “base” of the ids that can be indexed through this arena. All future types pushed into this, if any, are stored in self.list.

This is intended to have arena-like behavior where everything pushed onto self.list is thrown away after a subtyping computation is performed. All new types pushed into this arena are purely temporary.

Trait Implementations

impl<T> Index<T> for SubtypeArena<'_>

where T: TypeIdentifier,

type Output = <T as TypeIdentifier>::Data

The returned type after indexing.

fn index(&self, id: T) -> &<T as TypeIdentifier>::Data

Performs the indexing (container[index]) operation.

impl Remap for SubtypeArena<'_>

fn push_ty<T>(&mut self, ty: T) -> <T as TypeData>::Id

where T: TypeData,

Pushes a new anonymous type within this object, returning an identifier which can be used to refer to it.

fn map_map( tmp: &mut IndexMap<ResourceId, Vec<usize>>, any_changed: &mut bool, map: &Remapping, )

Apply map to the keys of tmp, setting *any_changed = true if any keys were remapped.

fn insert_if_any_changed<T>( &mut self, map: &mut Remapping, any_changed: bool, id: &mut <T as TypeData>::Id, ty: T, ) -> bool

where T: TypeData, <T as TypeData>::Id: Into<ComponentAnyTypeId>,

If any_changed is true, push ty, update map to point id to the new type ID, set id equal to the new type ID, and return true. Otherwise, update map to point id to itself and return false.

fn remap_component_any_type_id( &mut self, id: &mut ComponentAnyTypeId, map: &mut Remapping, ) -> bool

Recursively search for any resource types reachable from id, updating it and map if any are found and remapped, returning true iff at last one is remapped.

fn remap_resource_id( &mut self, id: &mut AliasableResourceId, map: &Remapping, ) -> bool

If map indicates id should be remapped, update it and return true. Otherwise, do nothing and return false.

fn remap_component_type_id( &mut self, id: &mut ComponentTypeId, map: &mut Remapping, ) -> bool

Recursively search for any resource types reachable from id, updating it and map if any are found and remapped, returning true iff at last one is remapped.

fn remap_component_defined_type_id( &mut self, id: &mut ComponentDefinedTypeId, map: &mut Remapping, ) -> bool

Recursively search for any resource types reachable from id, updating it and map if any are found and remapped, returning true iff at last one is remapped.

fn remap_component_instance_type_id( &mut self, id: &mut ComponentInstanceTypeId, map: &mut Remapping, ) -> bool

Recursively search for any resource types reachable from id, updating it and map if any are found and remapped, returning true iff at last one is remapped.

fn remap_component_func_type_id( &mut self, id: &mut ComponentFuncTypeId, map: &mut Remapping, ) -> bool

Recursively search for any resource types reachable from id, updating it and map if any are found and remapped, returning true iff at last one is remapped.

fn remap_component_entity( &mut self, ty: &mut ComponentEntityType, map: &mut Remapping, ) -> bool

Same as remap_type_id, but works with ComponentEntityType.

fn remap_valtype( &mut self, ty: &mut ComponentValType, map: &mut Remapping, ) -> bool

Same as remap_type_id, but works with ComponentValType.