Struct BoxedSpecification 

pub struct BoxedSpecification<T: ?Sized> { /* private fields */ }

An explicitly type-erased, owned specification.

Use this wrapper only when a runtime-selected or heterogeneous collection of rules is needed. Static composition remains the allocation-free default.

Implementations

impl<T: ?Sized> BoxedSpecification<T>

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

where Concrete: Specification<T> + 'static,

Erases the concrete type of specification and takes ownership of it.

Trait Implementations

impl<T: ?Sized> Specification<T> for BoxedSpecification<T>

fn is_satisfied_by(&self, candidate: &T) -> bool

Returns whether candidate satisfies this rule.

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

where Self: Sized, Other: Specification<T>,

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

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

where Self: Sized, Other: Specification<T>,

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

fn not(self) -> Not<Self>

where Self: Sized,

Creates a rule that negates this rule’s result.