Struct BoxedAsyncSpecification 

pub struct BoxedAsyncSpecification<T: ?Sized + Sync, Error: Send> { /* private fields */ }

An explicitly type-erased asynchronous specification.

This is the object-safe boundary for AsyncSpecification. Construction requires Send + Sync + 'static; the adapter allocates one boxed future per evaluation, while static async composition keeps its concrete future type.

Implementations

impl<T: ?Sized + Sync, Error: Send> BoxedAsyncSpecification<T, Error>

pub fn new<Concrete>(specification: Concrete) -> Self

where Concrete: AsyncSpecification<T, Error = Error> + Send + Sync + 'static,

Erases and owns a Send + Sync asynchronous specification.

Trait Implementations

impl<T: ?Sized + Sync, Error: Send> AsyncSpecification<T> for BoxedAsyncSpecification<T, Error>

type Error = Error

The typed error produced by asynchronous evaluation.

fn is_satisfied_by<'candidate>( &'candidate self, candidate: &'candidate T, ) -> impl Future<Output = Result<bool, Self::Error>> + Send + 'candidate

Evaluates the rule and returns a Send future with a typed result.

fn and<Other>(self, other: Other) -> AsyncAnd<Self, Other>

where Self: Sized, Other: AsyncSpecification<T, Error = Self::Error>,

Combines this rule with other using asynchronous short-circuiting AND.

fn or<Other>(self, other: Other) -> AsyncOr<Self, Other>

where Self: Sized, Other: AsyncSpecification<T, Error = Self::Error>,

Combines this rule with other using asynchronous short-circuiting OR.

fn not(self) -> AsyncNot<Self>

where Self: Sized,

Creates an asynchronous rule that negates this rule’s result.