pub trait AcquireAttributeWithResource: AcquireAttributeWithResourceAndContext<()> {
// Provided methods
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> = ()> { ... }
}
Provided Methods§
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> = ()>,
Object Safety§
This trait is not object safe.