Struct rinecs::operators::ReadOr

pub struct ReadOr<'a, T: TupleAny<'a>> { /* fields omitted */ }

Matches entities that have any of the passed components with read only access to those components

It returns an element per component being None those that don’t exist for that entity

for (pos, vel) in entities.iter_for::<ReadOr<(Position, Velocity)>>(){
    if let Some(pos) = pos {
    }

    if let Some(vel) = vel {
    }
}

Matches all entities that have a Position a Velocity or both. pos and vel will be None for entities that don’t have Position or Velocity respectively

Trait Implementations

impl<'a, T1: Component, T2: Component> DataAccesses for ReadOr<'a, (T1, T2)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T1: Component, T2: Component, T3: Component> DataAccesses for ReadOr<'a, (T1, T2, T3)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component> DataAccesses for ReadOr<'a, (T1, T2, T3, T4)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component> DataAccesses for ReadOr<'a, (T1, T2, T3, T4, T5)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component, T6: Component> DataAccesses for ReadOr<'a, (T1, T2, T3, T4, T5, T6)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>,
    <T6 as Component>::Storage: Storage<'a, T6>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component, T6: Component, T7: Component> DataAccesses for ReadOr<'a, (T1, T2, T3, T4, T5, T6, T7)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>,
    <T6 as Component>::Storage: Storage<'a, T6>,
    <T7 as Component>::Storage: Storage<'a, T7>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component, T6: Component, T7: Component, T8: Component> DataAccesses for ReadOr<'a, (T1, T2, T3, T4, T5, T6, T7, T8)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>,
    <T6 as Component>::Storage: Storage<'a, T6>,
    <T7 as Component>::Storage: Storage<'a, T7>,
    <T8 as Component>::Storage: Storage<'a, T8>, 

fn reads() -> Vec<TypeId>

fn writes() -> Vec<TypeId>

impl<'a, T: TupleAny<'a>> Deref for ReadOr<'a, T>

type Target = <T as TupleAny<'a>>::AnyTarget

The resulting type after dereferencing.

fn deref(&self) -> &<T as TupleAny<'a>>::AnyTarget

Dereferences the value.

impl<'a, T: TupleAny<'a>> FromComponent<'a, <T as TupleAny<'a>>::AnyTarget> for ReadOr<'a, T>

fn from_component(component: <T as TupleAny<'a>>::AnyTarget) -> ReadOr<'a, T>

impl<'a, T1: Component + Send, T2: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>, 

type Iter = Iter2<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter2<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>)

type Storage = StorageRef2<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component + Send, T2: Component + Send, T3: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2, T3)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>,
    <T3 as Component>::Storage: Storage<'s, T3>, 

type Iter = Iter3<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter3<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2, T3)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>, Option<<<T3 as Component>::Storage as Storage<'a, T3>>::Get>)

type Storage = StorageRef3<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component + Send, T2: Component + Send, T3: Component + Send, T4: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2, T3, T4)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>,
    <T3 as Component>::Storage: Storage<'s, T3>,
    <T4 as Component>::Storage: Storage<'s, T4>, 

type Iter = Iter4<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter4<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2, T3, T4)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>, Option<<<T3 as Component>::Storage as Storage<'a, T3>>::Get>, Option<<<T4 as Component>::Storage as Storage<'a, T4>>::Get>)

type Storage = StorageRef4<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component + Send, T2: Component + Send, T3: Component + Send, T4: Component + Send, T5: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2, T3, T4, T5)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>,
    <T3 as Component>::Storage: Storage<'s, T3>,
    <T4 as Component>::Storage: Storage<'s, T4>,
    <T5 as Component>::Storage: Storage<'s, T5>, 

type Iter = Iter5<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter5<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2, T3, T4, T5)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>, Option<<<T3 as Component>::Storage as Storage<'a, T3>>::Get>, Option<<<T4 as Component>::Storage as Storage<'a, T4>>::Get>, Option<<<T5 as Component>::Storage as Storage<'a, T5>>::Get>)

type Storage = StorageRef5<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component + Send, T2: Component + Send, T3: Component + Send, T4: Component + Send, T5: Component + Send, T6: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2, T3, T4, T5, T6)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>,
    <T3 as Component>::Storage: Storage<'s, T3>,
    <T4 as Component>::Storage: Storage<'s, T4>,
    <T5 as Component>::Storage: Storage<'s, T5>,
    <T6 as Component>::Storage: Storage<'s, T6>, 

type Iter = Iter6<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter6<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2, T3, T4, T5, T6)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>, Option<<<T3 as Component>::Storage as Storage<'a, T3>>::Get>, Option<<<T4 as Component>::Storage as Storage<'a, T4>>::Get>, Option<<<T5 as Component>::Storage as Storage<'a, T5>>::Get>, Option<<<T6 as Component>::Storage as Storage<'a, T6>>::Get>)

type Storage = StorageRef6<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component + Send, T2: Component + Send, T3: Component + Send, T4: Component + Send, T5: Component + Send, T6: Component + Send, T7: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2, T3, T4, T5, T6, T7)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>,
    <T3 as Component>::Storage: Storage<'s, T3>,
    <T4 as Component>::Storage: Storage<'s, T4>,
    <T5 as Component>::Storage: Storage<'s, T5>,
    <T6 as Component>::Storage: Storage<'s, T6>,
    <T7 as Component>::Storage: Storage<'s, T7>, 

type Iter = Iter7<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, T7, ReadGuardRef<'a, <T7 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter7<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, T7, ReadGuardRef<'a, <T7 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2, T3, T4, T5, T6, T7)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>, Option<<<T3 as Component>::Storage as Storage<'a, T3>>::Get>, Option<<<T4 as Component>::Storage as Storage<'a, T4>>::Get>, Option<<<T5 as Component>::Storage as Storage<'a, T5>>::Get>, Option<<<T6 as Component>::Storage as Storage<'a, T6>>::Get>, Option<<<T7 as Component>::Storage as Storage<'a, T7>>::Get>)

type Storage = StorageRef7<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, T7, ReadGuardRef<'a, <T7 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component + Send, T2: Component + Send, T3: Component + Send, T4: Component + Send, T5: Component + Send, T6: Component + Send, T7: Component + Send, T8: Component + Send> UnorderedData<'a> for ReadOr<'a, (T1, T2, T3, T4, T5, T6, T7, T8)> where
    <T1 as Component>::Storage: Storage<'s, T1>,
    <T2 as Component>::Storage: Storage<'s, T2>,
    <T3 as Component>::Storage: Storage<'s, T3>,
    <T4 as Component>::Storage: Storage<'s, T4>,
    <T5 as Component>::Storage: Storage<'s, T5>,
    <T6 as Component>::Storage: Storage<'s, T6>,
    <T7 as Component>::Storage: Storage<'s, T7>,
    <T8 as Component>::Storage: Storage<'s, T8>, 

type Iter = Iter8<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, T7, ReadGuardRef<'a, <T7 as Component>::Storage>, T8, ReadGuardRef<'a, <T8 as Component>::Storage>, LazyIndexGuard<'a>>

type IterMut = Iter8<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, T7, ReadGuardRef<'a, <T7 as Component>::Storage>, T8, ReadGuardRef<'a, <T8 as Component>::Storage>, LazyIndexGuard<'a>>

type Components = (T1, T2, T3, T4, T5, T6, T7, T8)

type ComponentsRef = (Option<<<T1 as Component>::Storage as Storage<'a, T1>>::Get>, Option<<<T2 as Component>::Storage as Storage<'a, T2>>::Get>, Option<<<T3 as Component>::Storage as Storage<'a, T3>>::Get>, Option<<<T4 as Component>::Storage as Storage<'a, T4>>::Get>, Option<<<T5 as Component>::Storage as Storage<'a, T5>>::Get>, Option<<<T6 as Component>::Storage as Storage<'a, T6>>::Get>, Option<<<T7 as Component>::Storage as Storage<'a, T7>>::Get>, Option<<<T8 as Component>::Storage as Storage<'a, T8>>::Get>)

type Storage = StorageRef8<'a, T1, ReadGuardRef<'a, <T1 as Component>::Storage>, T2, ReadGuardRef<'a, <T2 as Component>::Storage>, T3, ReadGuardRef<'a, <T3 as Component>::Storage>, T4, ReadGuardRef<'a, <T4 as Component>::Storage>, T5, ReadGuardRef<'a, <T5 as Component>::Storage>, T6, ReadGuardRef<'a, <T6 as Component>::Storage>, T7, ReadGuardRef<'a, <T7 as Component>::Storage>, T8, ReadGuardRef<'a, <T8 as Component>::Storage>, LazyIndexGuard<'a>>

fn query_mask<E: EntitiesStorage>(entities: &E) -> Bitmask

fn into_iter<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn into_iter_mut<E: EntitiesStorage>(entities: &'a E) -> Self::Iter

fn storage<E: EntitiesStorage>(entities: &'a E) -> Option<Self::Storage>

impl<'a, T1: Component, T2: Component> SafeIter<'a> for ReadOr<'a, (T1, T2)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>, 

impl<'a, T1: Component, T2: Component, T3: Component> SafeIter<'a> for ReadOr<'a, (T1, T2, T3)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>, 

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component> SafeIter<'a> for ReadOr<'a, (T1, T2, T3, T4)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>, 

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component> SafeIter<'a> for ReadOr<'a, (T1, T2, T3, T4, T5)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>, 

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component, T6: Component> SafeIter<'a> for ReadOr<'a, (T1, T2, T3, T4, T5, T6)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>,
    <T6 as Component>::Storage: Storage<'a, T6>, 

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component, T6: Component, T7: Component> SafeIter<'a> for ReadOr<'a, (T1, T2, T3, T4, T5, T6, T7)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>,
    <T6 as Component>::Storage: Storage<'a, T6>,
    <T7 as Component>::Storage: Storage<'a, T7>, 

impl<'a, T1: Component, T2: Component, T3: Component, T4: Component, T5: Component, T6: Component, T7: Component, T8: Component> SafeIter<'a> for ReadOr<'a, (T1, T2, T3, T4, T5, T6, T7, T8)> where
    <T1 as Component>::Storage: Storage<'a, T1>,
    <T2 as Component>::Storage: Storage<'a, T2>,
    <T3 as Component>::Storage: Storage<'a, T3>,
    <T4 as Component>::Storage: Storage<'a, T4>,
    <T5 as Component>::Storage: Storage<'a, T5>,
    <T6 as Component>::Storage: Storage<'a, T6>,
    <T7 as Component>::Storage: Storage<'a, T7>,
    <T8 as Component>::Storage: Storage<'a, T8>,