pub struct ModuloProtected<T>(/* private fields */);Expand description
Wrapper to consider a term definition without the @protected flag.
Trait Implementations§
Source§impl<'b, T, B> PartialEq<ModuloProtected<&'b NormalTermDefinition<T, B>>> for ModuloProtected<&NormalTermDefinition<T, B>>
impl<'b, T, B> PartialEq<ModuloProtected<&'b NormalTermDefinition<T, B>>> for ModuloProtected<&NormalTermDefinition<T, B>>
Source§fn eq(&self, other: &ModuloProtected<&'b NormalTermDefinition<T, B>>) -> bool
fn eq(&self, other: &ModuloProtected<&'b NormalTermDefinition<T, B>>) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl<'b> PartialEq<ModuloProtected<&'b TypeTermDefinition>> for ModuloProtected<&TypeTermDefinition>
impl<'b> PartialEq<ModuloProtected<&'b TypeTermDefinition>> for ModuloProtected<&TypeTermDefinition>
Source§fn eq(&self, other: &ModuloProtected<&'b TypeTermDefinition>) -> bool
fn eq(&self, other: &ModuloProtected<&'b TypeTermDefinition>) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl<'b, T, B> PartialEq<ModuloProtected<TermDefinitionRef<'b, T, B>>> for ModuloProtected<TermDefinitionRef<'_, T, B>>
impl<'b, T, B> PartialEq<ModuloProtected<TermDefinitionRef<'b, T, B>>> for ModuloProtected<TermDefinitionRef<'_, T, B>>
Source§fn eq(&self, other: &ModuloProtected<TermDefinitionRef<'b, T, B>>) -> bool
fn eq(&self, other: &ModuloProtected<TermDefinitionRef<'b, T, B>>) -> bool
Tests for
self and other values to be equal, and is used by ==.impl<T, B> Eq for ModuloProtected<&NormalTermDefinition<T, B>>
impl Eq for ModuloProtected<&TypeTermDefinition>
impl<T, B> Eq for ModuloProtected<TermDefinitionRef<'_, T, B>>
Auto Trait Implementations§
impl<T> Freeze for ModuloProtected<T>where
T: Freeze,
impl<T> RefUnwindSafe for ModuloProtected<T>where
T: RefUnwindSafe,
impl<T> Send for ModuloProtected<T>where
T: Send,
impl<T> Sync for ModuloProtected<T>where
T: Sync,
impl<T> Unpin for ModuloProtected<T>where
T: Unpin,
impl<T> UnwindSafe for ModuloProtected<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> BorrowUnordered for T
impl<T> BorrowUnordered for T
fn as_unordered(&self) -> &Unordered<T>
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.