Struct tracing_capture::predicates::And

pub struct And<T, U> { /* private fields */ }

Boolean “and” combinator for predicates. Produced by the bitwise and (&) operator on the base predicates from this module.

Trait Implementations

impl<Rhs, T, U> BitAnd<Rhs> for And<T, U>where
    Self: PredicateReflection,
    Rhs: PredicateReflection,

type Output = And<And<T, U>, Rhs>

The resulting type after applying the & operator.

fn bitand(self, rhs: Rhs) -> Self::Output

Performs the & operation.

impl<Rhs, T, U> BitOr<Rhs> for And<T, U>where
    Self: PredicateReflection,
    Rhs: PredicateReflection,

type Output = Or<And<T, U>, Rhs>

The resulting type after applying the | operator.

fn bitor(self, rhs: Rhs) -> Self::Output

Performs the | operation.

impl<T: Clone, U: Clone> Clone for And<T, U>

fn clone(&self) -> And<T, U>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, U: Debug> Debug for And<T, U>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Display, U: Display> Display for And<T, U>

fn fmt(&self, formatter: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: PartialEq, U: PartialEq> PartialEq<And<T, U>> for And<T, U>

fn eq(&self, other: &And<T, U>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T, U, Item: ?Sized> Predicate<Item> for And<T, U>where
    T: Predicate<Item>,
    U: Predicate<Item>,

fn eval(&self, variable: &Item) -> bool

Execute this Predicate against variable, returning the resulting boolean.

fn find_case(&self, expected: bool, variable: &Item) -> Option<Case<'_>>

Find a case that proves this predicate as expected when run against variable.

impl<T: PredicateReflection, U: PredicateReflection> PredicateReflection for And<T, U>

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

Parameters of the current Predicate.

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

Nested Predicates of the current Predicate.

impl<T: Copy, U: Copy> Copy for And<T, U>

impl<T: Eq, U: Eq> Eq for And<T, U>

impl<T, U> StructuralEq for And<T, U>

impl<T, U> StructuralPartialEq for And<T, U>