pub struct ModuloProtected<T>(/* private fields */);
Expand description
Wrapper to consider a term definition without the @protected
flag.
Trait Implementations§
Source§impl<'a, 'b, T, B> PartialEq<ModuloProtected<&'b NormalTermDefinition<T, B>>> for ModuloProtected<&'a NormalTermDefinition<T, B>>
impl<'a, 'b, T, B> PartialEq<ModuloProtected<&'b NormalTermDefinition<T, B>>> for ModuloProtected<&'a 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<'a, 'b> PartialEq<ModuloProtected<&'b TypeTermDefinition>> for ModuloProtected<&'a TypeTermDefinition>
impl<'a, 'b> PartialEq<ModuloProtected<&'b TypeTermDefinition>> for ModuloProtected<&'a 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<'a, 'b, T, B> PartialEq<ModuloProtected<TermDefinitionRef<'b, T, B>>> for ModuloProtected<TermDefinitionRef<'a, T, B>>
impl<'a, 'b, T, B> PartialEq<ModuloProtected<TermDefinitionRef<'b, T, B>>> for ModuloProtected<TermDefinitionRef<'a, 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<'a, T, B> Eq for ModuloProtected<&'a NormalTermDefinition<T, B>>
impl<'a> Eq for ModuloProtected<&'a TypeTermDefinition>
impl<'a, T, B> Eq for ModuloProtected<TermDefinitionRef<'a, 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.