Struct predicates::BoxPredicate

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

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

Methods

impl<Item> BoxPredicate<Item> where
    Item: ?Sized, 

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

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

Trait Implementations

impl<Item> Debug for BoxPredicate<Item> where
    Item: ?Sized, 

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

Formats the value using the given formatter.

impl<Item> Display for BoxPredicate<Item> where
    Item: ?Sized, 

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

Formats the value using the given formatter.

impl<Item> Predicate<Item> for BoxPredicate<Item> where
    Item: ?Sized, 

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

Execute this Predicate against variable, returning the resulting boolean.

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

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

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

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

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

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

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

Returns a BoxPredicate wrapper around this Predicate type.