Struct predicates::BoxPredicate

pub struct BoxPredicate<T: ?Sized>(_);

Predicate that wraps another Predicate as a trait object, allowing sized storage of predicate types.

Methods

impl<T: ?Sized> BoxPredicate<T>

fn new<P: Predicate<Item = T>>(inner: P) -> BoxPredicate<T> where
    P: Send + Sync + 'static, 

Creates a new BoxPredicate, a wrapper around a dynamically-dispatched Predicate type with useful trait impls.

Trait Implementations

impl<T> Debug for BoxPredicate<T>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T> Display for BoxPredicate<T>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<T: ?Sized> Predicate for BoxPredicate<T>

type Item = T

The type that this Predicate will accept for evaluating.

fn eval(&self, variable: &Self::Item) -> bool

Execute this Predicate against variable, returning the resulting boolean.

fn and<B>(self, other: B) -> AndPredicate<Self, B> where
    B: Predicate<Item = Self::Item>,
    Self: Sized, 

Compute the logical AND of two Predicate results, returning the result.

fn or<B>(self, other: B) -> OrPredicate<Self, B> where
    B: Predicate<Item = Self::Item>,
    Self: Sized, 

Compute the logical OR of two Predicate results, returning the result.

fn not(self) -> NotPredicate<Self> where
    Self: Sized, 

Compute the logical NOT of a Predicate, returning the result.

fn boxed(self) -> BoxPredicate<Self::Item> where
    Self: Sized + Send + Sync + 'static, 

Returns a BoxPredicate wrapper around this Predicate type.