Trait Specification 

pub trait Specification<T>: Send + Sync {
    // Required method
    fn is_satisfied_by(&self, t: &T) -> bool;

    // Provided methods
    fn and<S>(self, other: S) -> AndSpec<Self, S>
       where Self: Sized,
             S: Specification<T> { ... }
    fn or<S>(self, other: S) -> OrSpec<Self, S>
       where Self: Sized,
             S: Specification<T> { ... }
    fn not(self) -> NotSpec<Self>
       where Self: Sized { ... }
}

Composable predicate over T.

Required Methods

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

Provided Methods

fn and<S>(self, other: S) -> AndSpec<Self, S>

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

fn or<S>(self, other: S) -> OrSpec<Self, S>

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

fn not(self) -> NotSpec<Self>

where Self: Sized,

Implementors

impl<T, A: Specification<T>, B: Specification<T>> Specification<T> for AndSpec<A, B>

impl<T, A: Specification<T>, B: Specification<T>> Specification<T> for OrSpec<A, B>

impl<T, F: Fn(&T) -> bool + Send + Sync> Specification<T> for FnSpec<F>

impl<T, S: Specification<T>> Specification<T> for NotSpec<S>