Struct dacquiri::prelude::ConstraintStore
source · pub struct ConstraintStore { /* private fields */ }
Trait Implementations§
source§impl ConstraintT for ConstraintStore
impl ConstraintT for ConstraintStore
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) -> &Twhere T: ConstraintEntity + 'static, Self: HasEntityWithType<TAG, T>,
fn get_entity_mut<T, const TAG: EntityTag>(&mut self) -> &mut Twhere 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,
Auto Trait Implementations§
impl !RefUnwindSafe for ConstraintStore
impl Send for ConstraintStore
impl Sync for ConstraintStore
impl Unpin for ConstraintStore
impl !UnwindSafe for ConstraintStore
Blanket Implementations§
source§impl<T> AcquireAttribute for Twhere
T: AcquireAttributeWithResourceAndContext<()>,
impl<T> AcquireAttribute for Twhere T: AcquireAttributeWithResourceAndContext<()>,
fn prove_async<'ctx, 'async_trait, Attr, const STAG: EntityTag>( self ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>where Attr::Subject: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject> + Send + 'async_trait, Attr: AsyncAttribute<Resource = (), Context<'ctx> = ()> + 'async_trait, 'ctx: 'async_trait,
fn prove<'ctx, Attr, const STAG: EntityTag>( self ) -> Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>where Attr::Subject: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject>, Attr: SyncAttribute<Resource = (), Context<'ctx> = ()>,
source§impl<T, C> AcquireAttributeWithContext<C> for Twhere
T: AcquireAttributeWithResourceAndContext<C>,
C: Send,
impl<T, C> AcquireAttributeWithContext<C> for Twhere T: AcquireAttributeWithResourceAndContext<C>, C: Send,
fn prove_with_context_async<'ctx, 'async_trait, Attr, const STAG: EntityTag>( self, context: C ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>where Attr::Subject: ConstraintEntity + 'static, C: 'async_trait, Self: HasEntityWithType<STAG, Attr::Subject> + Send + 'async_trait, Attr: AsyncAttribute<Resource = (), Context<'ctx> = C> + 'async_trait, 'ctx: 'async_trait,
fn prove_with_context<'ctx, Attr, const STAG: EntityTag>( self, context: C ) -> Result<ConstraintChain<STAG, DEFAULT_ELEMENT_TAG, Attr, Self>, Attr::Error>where Attr::Subject: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject>, Attr: SyncAttribute<Resource = (), Context<'ctx> = C>,
source§impl<T> AcquireAttributeWithResource for Twhere
T: AcquireAttributeWithResourceAndContext<()>,
impl<T> AcquireAttributeWithResource for Twhere T: AcquireAttributeWithResourceAndContext<()>,
fn prove_with_resource_async<'ctx, 'async_trait, Attr, const STAG: EntityTag, const RTAG: EntityTag>( self ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>where Attr::Subject: ConstraintEntity + 'static, Attr::Resource: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource> + Send + 'async_trait, Attr: AsyncAttribute<Context<'ctx> = ()> + 'async_trait, 'ctx: 'async_trait,
fn prove_with_resource<'ctx, Attr, const STAG: EntityTag, const RTAG: EntityTag>( self ) -> Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>where Attr::Subject: ConstraintEntity + 'static, Attr::Resource: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource>, Attr: SyncAttribute<Context<'ctx> = ()>,
source§impl<T, C> AcquireAttributeWithResourceAndContext<C> for Twhere
T: ConstraintT,
C: Send,
impl<T, C> AcquireAttributeWithResourceAndContext<C> for Twhere T: ConstraintT, C: Send,
fn prove_with_resource_and_context_async<'ctx, 'async_trait, Attr, const STAG: EntityTag, const RTAG: EntityTag>( self, context: C ) -> Pin<Box<dyn Future<Output = Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>> + Send + 'async_trait>>where Attr::Subject: ConstraintEntity + 'static, Attr::Resource: ConstraintEntity + 'static, C: 'async_trait, Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource> + Send + 'async_trait, Attr: AsyncAttribute<Context<'ctx> = C> + 'async_trait, 'ctx: 'async_trait,
fn prove_with_resource_and_context<'ctx, Attr, const STAG: EntityTag, const RTAG: EntityTag>( self, context: C ) -> Result<ConstraintChain<STAG, RTAG, Attr, Self>, Attr::Error>where Attr::Subject: ConstraintEntity + 'static, Attr::Resource: ConstraintEntity + 'static, Self: HasEntityWithType<STAG, Attr::Subject> + HasEntityWithType<RTAG, Attr::Resource>, Attr: SyncAttribute<Context<'ctx> = C>,
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more