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

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§

source§

impl<T> Index<T> for SubtypeArena<'_>where T: TypeIdentifier,

§

type Output = <T as TypeIdentifier>::Data

The returned type after indexing.
source§

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

Performs the indexing (container[index]) operation. Read more
source§

impl Remap for SubtypeArena<'_>

source§

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

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

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.
source§

fn insert_if_any_changed<T>( &mut self, map: &mut Remapping, any_changed: bool, id: &mut T::Id, ty: T ) -> boolwhere T: TypeData, T::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.
source§

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.
source§

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.
source§

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.
source§

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.
source§

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.
source§

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.
source§

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

Same as remap_type_id, but works with ComponentEntityType.
source§

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

Same as remap_type_id, but works with ComponentValType.

Auto Trait Implementations§

§

impl<'a> RefUnwindSafe for SubtypeArena<'a>

§

impl<'a> Send for SubtypeArena<'a>

§

impl<'a> Sync for SubtypeArena<'a>

§

impl<'a> Unpin for SubtypeArena<'a>

§

impl<'a> UnwindSafe for SubtypeArena<'a>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.