Trait predicates_core::reflection::PredicateReflection

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

Introspect the state of a Predicate.

Provided methods

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

Parameters of the current Predicate.

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

Nested Predicates of the current Predicate.

Loading content...

Implementors

Loading content...