Trait dacquiri::prelude::HasEntityWithType

source · 
pub trait HasEntityWithType<const TAG: EntityTag, EntityType> { }

Implementors§

source§

impl<Next, Attr, EntityType, const STAG: EntityTag, const RTAG: EntityTag, const ETAG: EntityTag> HasEntityWithType<ETAG, EntityType> for ConstraintChain<STAG, RTAG, Attr, Next>where Attr: BaseAttribute, Next: HasEntityWithType<ETAG, EntityType>,

Prove ConstraintChain<_, _, _, HasEntityWithType<ETAG, EntityType>> => HasEntityWithType<ETAG, EntityType>

source§

impl<Next, EntityType1, EntityType2, const TAG1: EntityTag, const TAG2: EntityTag> HasEntityWithType<TAG2, EntityType2> for EntityProof<TAG1, EntityType1, Next>where Next: HasEntityWithType<TAG2, EntityType2>,

Prove EntityProof<_, _, HasEntity<TAG2, EntityType2>> => HasEntity<TAG2, EntityType2>

source§

impl<Next, EntityType, const TAG: EntityTag> HasEntityWithType<TAG, EntityType> for EntityProof<TAG, EntityType, Next>

Prove EntityProof<TAG, EntityType, _> => HasEntityWithType<TAG, EntityType>