Struct predicates::BoxPredicate

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

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

Implementations

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 find_case<'a>(&'a self, expected: bool, variable: &Item) -> Option<Case<'a>>

Find a case that proves this predicate as expected when run against variable.

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

fn parameters<'a>(&'a self) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a>

Parameters of the current Predicate.

fn children<'a>(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a>

Nested Predicates of the current Predicate.