pub trait ConstraintT: PrivateConstraintT + Sized {
    // Required methods
    fn add_entity<T, const ETAG: EntityTag>(
        self,
        entity: T
    ) -> ConstraintResult<EntityProof<ETAG, T, Self>>
       where T: ConstraintEntity + 'static;
    fn get_entity<T, const TAG: EntityTag>(&self) -> &T
       where T: ConstraintEntity + 'static,
             Self: HasEntityWithType<TAG, T>;
    fn get_entity_mut<T, const TAG: EntityTag>(&mut self) -> &mut T
       where T: ConstraintEntity + 'static,
             Self: HasEntityWithType<TAG, T>;
    fn try_get_entity<T, const TAG: EntityTag>(&self) -> ConstraintResult<&T>
       where T: ConstraintEntity + 'static;
    fn try_get_entity_mut<T, const TAG: EntityTag>(
        &mut self
    ) -> ConstraintResult<&mut T>
       where T: ConstraintEntity + 'static;
}

Required Methods§

source

fn add_entity<T, const ETAG: EntityTag>( self, entity: T ) -> ConstraintResult<EntityProof<ETAG, T, Self>>where T: ConstraintEntity + 'static,

source

fn get_entity<T, const TAG: EntityTag>(&self) -> &Twhere T: ConstraintEntity + 'static, Self: HasEntityWithType<TAG, T>,

source

fn get_entity_mut<T, const TAG: EntityTag>(&mut self) -> &mut Twhere T: ConstraintEntity + 'static, Self: HasEntityWithType<TAG, T>,

source

fn try_get_entity<T, const TAG: EntityTag>(&self) -> ConstraintResult<&T>where T: ConstraintEntity + 'static,

source

fn try_get_entity_mut<T, const TAG: EntityTag>( &mut self ) -> ConstraintResult<&mut T>where T: ConstraintEntity + 'static,

Object Safety§

This trait is not object safe.

Implementors§

source§

impl ConstraintT for ConstraintStore

source§

impl<Next, EntityType, const ETAG: EntityTag> ConstraintT for EntityProof<ETAG, EntityType, Next>where Next: ConstraintT,

source§

impl<const STAG: EntityTag, const RTAG: EntityTag, Attr, Next> ConstraintT for ConstraintChain<STAG, RTAG, Attr, Next>where Attr: BaseAttribute, Next: ConstraintT,