pub trait IsAll<T> {
    // Required methods
    fn describe<'d>(
        &self,
        doc: &'d BoxAllocator
    ) -> DocBuilder<'d, BoxAllocator>;
    fn falsify_all<'d>(
        &self,
        t: &T,
        doc: &'d BoxAllocator
    ) -> Option<DocBuilder<'d, BoxAllocator>>;
}
Expand description

Trait representation of a Predicate on members of an existential iterator type

Required Methods§

source

fn describe<'d>(&self, doc: &'d BoxAllocator) -> DocBuilder<'d, BoxAllocator>

source

fn falsify_all<'d>( &self, t: &T, doc: &'d BoxAllocator ) -> Option<DocBuilder<'d, BoxAllocator>>

Implementors§

source§

impl<T: 'static, Elem: Debug + 'static> IsAll<T> for Predicate<Elem>
where for<'a> &'a T: IntoIterator<Item = &'a Elem>,