Struct predicates::boolean::AndPredicate [−][src]
pub struct AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized, { /* fields omitted */ }
Predicate that combines two Predicate
s, returning the AND of the results.
This is created by the Predicate::and
function.
Methods
impl<M1, M2, Item> AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
[src]
impl<M1, M2, Item> AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
pub fn new(a: M1, b: M2) -> AndPredicate<M1, M2, Item>
[src]
pub fn new(a: M1, b: M2) -> AndPredicate<M1, M2, Item>
Create a new AndPredicate
over predicates a
and b
.
Trait Implementations
impl<M1: Debug, M2: Debug, Item> Debug for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Debug + ?Sized,
[src]
impl<M1: Debug, M2: Debug, Item> Debug for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Debug + ?Sized,
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<M1: Clone, M2: Clone, Item> Clone for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Clone + ?Sized,
[src]
impl<M1: Clone, M2: Clone, Item> Clone for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Clone + ?Sized,
fn clone(&self) -> AndPredicate<M1, M2, Item>
[src]
fn clone(&self) -> AndPredicate<M1, M2, Item>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl<M1: Copy, M2: Copy, Item> Copy for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Copy + ?Sized,
[src]
impl<M1: Copy, M2: Copy, Item> Copy for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Copy + ?Sized,
impl<M1: PartialEq, M2: PartialEq, Item> PartialEq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: PartialEq + ?Sized,
[src]
impl<M1: PartialEq, M2: PartialEq, Item> PartialEq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: PartialEq + ?Sized,
fn eq(&self, other: &AndPredicate<M1, M2, Item>) -> bool
[src]
fn eq(&self, other: &AndPredicate<M1, M2, Item>) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &AndPredicate<M1, M2, Item>) -> bool
[src]
fn ne(&self, other: &AndPredicate<M1, M2, Item>) -> bool
This method tests for !=
.
impl<M1: Eq, M2: Eq, Item> Eq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Eq + ?Sized,
[src]
impl<M1: Eq, M2: Eq, Item> Eq for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: Eq + ?Sized,
impl<M1, M2, Item> Predicate<Item> for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
[src]
impl<M1, M2, Item> Predicate<Item> for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
fn eval(&self, item: &Item) -> bool
[src]
fn eval(&self, item: &Item) -> bool
Execute this Predicate
against variable
, returning the resulting boolean. Read more
fn find_case<'a>(&'a self, expected: bool, variable: &Item) -> Option<Case<'a>>
[src]
fn find_case<'a>(&'a self, expected: bool, variable: &Item) -> Option<Case<'a>>
Find a case that proves this predicate as expected
when run against variable
.
impl<M1, M2, Item> PredicateReflection for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
[src]
impl<M1, M2, Item> PredicateReflection for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
ⓘImportant traits for Box<R>fn children<'a>(&'a self) -> Box<Iterator<Item = Child<'a>> + 'a>
[src]
ⓘImportant traits for Box<R>
fn children<'a>(&'a self) -> Box<Iterator<Item = Child<'a>> + 'a>
Nested Predicate
s of the current Predicate
.
ⓘImportant traits for Box<R>fn parameters(&'a self) -> Box<Iterator<Item = Parameter<'a>> + 'a>
[src]
ⓘImportant traits for Box<R>
fn parameters(&'a self) -> Box<Iterator<Item = Parameter<'a>> + 'a>
Parameters of the current Predicate
.
impl<M1, M2, Item> Display for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,
[src]
impl<M1, M2, Item> Display for AndPredicate<M1, M2, Item> where
M1: Predicate<Item>,
M2: Predicate<Item>,
Item: ?Sized,