Struct predicates::BoxPredicate

pub struct BoxPredicate<Item: ?Sized>(/* private fields */);

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>(inner: P) -> BoxPredicate<Item>

where P: Send + Sync + 'static + Predicate<Item>,

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.