Trait predicates_core::reflection::PredicateReflection

source · 
pub trait PredicateReflection: Display {
    // Provided methods
    fn parameters<'a>(&'a self) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a> { ... }
    fn children<'a>(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a> { ... }
}
Expand description

Introspect the state of a Predicate.

Provided Methods§

source

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

Parameters of the current Predicate.

source

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

Nested Predicates of the current Predicate.

Implementors§

impl<T> PredicateReflection for EqPredicate<T>where T: Debug,

impl<M1, M2, Item> PredicateReflection for OrPredicate<M1, M2, Item>where M1: Predicate<Item>, M2: Predicate<Item>, Item: ?Sized,

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

impl<T> PredicateReflection for OrdPredicate<T>where T: Debug,

impl<F, T> PredicateReflection for FnPredicate<F, T>where F: Fn(&T) -> bool, T: ?Sized,

impl<M, Item> PredicateReflection for NamePredicate<M, Item>where M: Predicate<Item>, Item: ?Sized,

impl<T> PredicateReflection for OrdInPredicate<T>where T: Ord + Debug,

impl<M1, M2, Item> PredicateReflection for AndPredicate<M1, M2, Item>where M1: Predicate<Item>, M2: Predicate<Item>, Item: ?Sized,

impl<M, Item> PredicateReflection for NotPredicate<M, Item>where M: Predicate<Item>, Item: ?Sized,