Struct predicates::reflection::Case [−][src]
pub struct Case<'a> { /* fields omitted */ }Expand description
A descriptive explanation for why a predicate failed.
Implementations
Create a new Case describing the result of a Predicate.
Add an additional by product to a Case.
The Predicate that produced this case.
pub fn products(&self) -> CaseProducts<'_>ⓘNotable traits for CaseProducts<'a>impl<'a> Iterator for CaseProducts<'a> type Item = &'a Product;
pub fn products(&self) -> CaseProducts<'_>ⓘNotable traits for CaseProducts<'a>impl<'a> Iterator for CaseProducts<'a> type Item = &'a Product;
Notable traits for CaseProducts<'a>
impl<'a> Iterator for CaseProducts<'a> type Item = &'a Product;Access the by-products from determining this case.
pub fn children(&self) -> CaseChildren<'_>ⓘNotable traits for CaseChildren<'a>impl<'a> Iterator for CaseChildren<'a> type Item = &'a Case<'a>;
pub fn children(&self) -> CaseChildren<'_>ⓘNotable traits for CaseChildren<'a>impl<'a> Iterator for CaseChildren<'a> type Item = &'a Case<'a>;
Notable traits for CaseChildren<'a>
impl<'a> Iterator for CaseChildren<'a> type Item = &'a Case<'a>;Access the sub-cases.