Struct predicates::name::NamePredicate [−][src]
Augment an existing predicate with a name.
This is created by the PredicateNameExt::name
function.
Trait Implementations
impl<M: Clone, Item> Clone for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: Clone + ?Sized,
[src]
M: Predicate<Item>,
Item: Clone + ?Sized,
fn clone(&self) -> NamePredicate<M, Item>
[src]
pub fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<M: Copy, Item> Copy for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: Copy + ?Sized,
[src]
M: Predicate<Item>,
Item: Copy + ?Sized,
impl<M: Debug, Item> Debug for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: Debug + ?Sized,
[src]
M: Predicate<Item>,
Item: Debug + ?Sized,
impl<M, Item> Display for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: ?Sized,
[src]
M: Predicate<Item>,
Item: ?Sized,
impl<M: Eq, Item> Eq for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: Eq + ?Sized,
[src]
M: Predicate<Item>,
Item: Eq + ?Sized,
impl<M: PartialEq, Item> PartialEq<NamePredicate<M, Item>> for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: PartialEq + ?Sized,
[src]
M: Predicate<Item>,
Item: PartialEq + ?Sized,
fn eq(&self, other: &NamePredicate<M, Item>) -> bool
[src]
fn ne(&self, other: &NamePredicate<M, Item>) -> bool
[src]
impl<M, Item> Predicate<Item> for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: ?Sized,
[src]
M: 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<M, Item> PredicateReflection for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: ?Sized,
[src]
M: 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<M, Item> StructuralEq for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: ?Sized,
[src]
M: Predicate<Item>,
Item: ?Sized,
impl<M, Item> StructuralPartialEq for NamePredicate<M, Item> where
M: Predicate<Item>,
Item: ?Sized,
[src]
M: Predicate<Item>,
Item: ?Sized,
Auto Trait Implementations
impl<M, Item: ?Sized> RefUnwindSafe for NamePredicate<M, Item> where
Item: RefUnwindSafe,
M: RefUnwindSafe,
[src]
Item: RefUnwindSafe,
M: RefUnwindSafe,
impl<M, Item: ?Sized> Send for NamePredicate<M, Item> where
Item: Send,
M: Send,
[src]
Item: Send,
M: Send,
impl<M, Item: ?Sized> Sync for NamePredicate<M, Item> where
Item: Sync,
M: Sync,
[src]
Item: Sync,
M: Sync,
impl<M, Item: ?Sized> Unpin for NamePredicate<M, Item> where
Item: Unpin,
M: Unpin,
[src]
Item: Unpin,
M: Unpin,
impl<M, Item: ?Sized> UnwindSafe for NamePredicate<M, Item> where
Item: UnwindSafe,
M: UnwindSafe,
[src]
Item: UnwindSafe,
M: 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>,