Trait dacquiri::prelude::ConstraintT

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

Required Methods

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

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

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

Implementors

impl ConstraintT for ConstraintStore

impl<const STAG: &'static str, const RTAG: &'static str, Attr, Next> ConstraintT for ConstraintChain<STAG, RTAG, Attr, Next> where
    Attr: BaseAttribute,
    Next: ConstraintT,