Struct SharedSpecification 

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

An explicitly type-erased specification that can be shared across threads.

The Send + Sync bounds belong to the erased trait object and the constructor, so sharing is an explicit API choice. The ordinary Specification trait remains usable for single-threaded rules that do not satisfy those bounds.

A captured non-thread-safe value is rejected at the shared boundary:

use std::rc::Rc;
use specification_core::SharedSpecification;

let state = Rc::new(1_u8);
let _rule = SharedSpecification::new(move |_: &u8| *state == 1);

Implementations

impl<T: ?Sized> SharedSpecification<T>

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

where Concrete: Specification<T> + Send + Sync + 'static,

Erases and shares a Send + Sync specification.

Trait Implementations

impl<T: ?Sized> Clone for SharedSpecification<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: ?Sized> Specification<T> for SharedSpecification<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.