Struct predicates::boolean::AndPredicate [−][src]
Predicate that combines two Predicates, returning the AND of the results.
This is created by the Predicate::and function.
Implementations
impl<M1, M2, Item> AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
pub fn new(a: M1, b: M2) -> AndPredicate<M1, M2, Item>[src]
Create a new AndPredicate over predicates a and b.
Trait Implementations
impl<M1: Clone, M2: Clone, Item> Clone for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Clone + ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Clone + ?Sized,
fn clone(&self) -> AndPredicate<M1, M2, Item>[src]
pub fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<M1: Copy, M2: Copy, Item> Copy for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Copy + ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Copy + ?Sized,
impl<M1: Debug, M2: Debug, Item> Debug for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Debug + ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Debug + ?Sized,
impl<M1, M2, Item> Display for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
impl<M1: Eq, M2: Eq, Item> Eq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Eq + ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Eq + ?Sized,
impl<M1: PartialEq, M2: PartialEq, Item> PartialEq<AndPredicate<M1, M2, Item>> for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: PartialEq + ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: PartialEq + ?Sized,
fn eq(&self, other: &AndPredicate<M1, M2, Item>) -> bool[src]
fn ne(&self, other: &AndPredicate<M1, M2, Item>) -> bool[src]
impl<M1, M2, Item> Predicate<Item> for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
fn eval(&self, item: &Item) -> bool[src]
fn find_case<'a>(&'a self, expected: bool, variable: &Item) -> Option<Case<'a>>[src]
impl<M1, M2, Item> PredicateReflection for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
fn children<'a>(&'a self) -> Box<dyn Iterator<Item = Child<'a>> + 'a>[src]
pub fn parameters(
&'a self
) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a, Global>[src]
&'a self
) -> Box<dyn Iterator<Item = Parameter<'a>> + 'a, Global>
impl<M1, M2, Item> StructuralEq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
impl<M1, M2, Item> StructuralPartialEq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, [src]
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
Auto Trait Implementations
impl<M1, M2, Item: ?Sized> RefUnwindSafe for AndPredicate<M1, M2, Item> where
Item: RefUnwindSafe,
M1: RefUnwindSafe,
M2: RefUnwindSafe, [src]
Item: RefUnwindSafe,
M1: RefUnwindSafe,
M2: RefUnwindSafe,
impl<M1, M2, Item: ?Sized> Send for AndPredicate<M1, M2, Item> where
Item: Send,
M1: Send,
M2: Send, [src]
Item: Send,
M1: Send,
M2: Send,
impl<M1, M2, Item: ?Sized> Sync for AndPredicate<M1, M2, Item> where
Item: Sync,
M1: Sync,
M2: Sync, [src]
Item: Sync,
M1: Sync,
M2: Sync,
impl<M1, M2, Item: ?Sized> Unpin for AndPredicate<M1, M2, Item> where
Item: Unpin,
M1: Unpin,
M2: Unpin, [src]
Item: Unpin,
M1: Unpin,
M2: Unpin,
impl<M1, M2, Item: ?Sized> UnwindSafe for AndPredicate<M1, M2, Item> where
Item: UnwindSafe,
M1: UnwindSafe,
M2: UnwindSafe, [src]
Item: UnwindSafe,
M1: UnwindSafe,
M2: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<P, Item> PredicateBooleanExt<Item> for P where
Item: ?Sized,
P: Predicate<Item>, [src]
Item: ?Sized,
P: Predicate<Item>,
fn and<B>(self, other: B) -> AndPredicate<Self, B, Item> where
B: Predicate<Item>,
Self: Sized, [src]
B: Predicate<Item>,
Self: Sized,
fn or<B>(self, other: B) -> OrPredicate<Self, B, Item> where
B: Predicate<Item>,
Self: Sized, [src]
B: Predicate<Item>,
Self: Sized,
fn not(self) -> NotPredicate<Self, Item> where
Self: Sized, [src]
Self: Sized,
impl<P, Item> PredicateNameExt<Item> for P where
Item: ?Sized,
P: Predicate<Item>, [src]
Item: ?Sized,
P: Predicate<Item>,
fn name(self, name: &'static str) -> NamePredicate<Self, Item> where
Self: Sized, [src]
Self: Sized,
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[src]
impl<T> ToString for T where
T: Display + ?Sized, [src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,