Struct json_ld::context::ModuloProtected

source · [−]

pub struct ModuloProtected<T>(_);

Trait Implementations

source

impl<'a, 'b, T, B, C, M> StrippedPartialEq<ModuloProtected<&'b NormalTermDefinition<T, B, C, M>>> for ModuloProtected<&'a NormalTermDefinition<T, B, C, M>>where
 T: PartialEq<T>,
 B: PartialEq,
 C: StrippedPartialEq<C>,

source

fn stripped_eq(
&self,
other: &ModuloProtected<&'b NormalTermDefinition<T, B, C, M>>
) -> bool

source

impl<'a, 'b> StrippedPartialEq<ModuloProtected<&'b TypeTermDefinition>> for ModuloProtected<&'a TypeTermDefinition>

source

fn stripped_eq(&self, other: &ModuloProtected<&'b TypeTermDefinition>) -> bool

source

impl<'a, 'b, T, B, C, M> StrippedPartialEq<ModuloProtected<TermDefinitionRef<'b, T, B, C, M>>> for ModuloProtected<TermDefinitionRef<'a, T, B, C, M>>where
 T: PartialEq<T>,
 B: PartialEq,
 C: StrippedPartialEq<C>,

source

fn stripped_eq(
&self,
other: &ModuloProtected<TermDefinitionRef<'b, T, B, C, M>>
) -> bool

source

impl<'a, T, B, C, M> StrippedEq for ModuloProtected<&'a NormalTermDefinition<T, B, C, M>>where
 T: Eq,
 B: Eq,
 C: StrippedEq,

source

impl<'a> StrippedEq for ModuloProtected<&'a TypeTermDefinition>

source

impl<'a, T, B, C, M> StrippedEq for ModuloProtected<TermDefinitionRef<'a, T, B, C, M>>where
 T: Eq,
 B: Eq,
 C: StrippedEq,

Auto Trait Implementations

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> Any for Twhere
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> At for T

source

fn at<M>(self, metadata: M) -> Meta<T, M>

Wraps self inside a Meta<Self, M> using the given metadata. Read more

source

impl<T> Borrow<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for Twhere
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T, B> IntoId<T, B> for T

type Id = Id<T, B>

The target type of the conversion, which can be borrowed as a Id<T, B>.

source

fn to_ref(self) -> <T as IntoId<T, B>>::Id

Convert the value into a reference.

impl<T> ToOwned for T

type Owned = T

source

impl<T, U> TryFrom for Twhere
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for Twhere
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

source

impl<T> WithContext for Twhere
T: ?Sized,

source

fn with<C>(&self, context: C) -> Contextual<&T, C>

source

Struct json_ld::context::ModuloProtected

Trait Implementations

impl<'a, 'b, T, B, C, M> StrippedPartialEq<ModuloProtected<&'b NormalTermDefinition<T, B, C, M>>> for ModuloProtected<&'a NormalTermDefinition<T, B, C, M>>where T: PartialEq<T>, B: PartialEq<B>, C: StrippedPartialEq<C>,

fn stripped_eq( &self, other: &ModuloProtected<&'b NormalTermDefinition<T, B, C, M>>) -> bool

impl<'a, 'b> StrippedPartialEq<ModuloProtected<&'b TypeTermDefinition>> for ModuloProtected<&'a TypeTermDefinition>

fn stripped_eq(&self, other: &ModuloProtected<&'b TypeTermDefinition>) -> bool

impl<'a, 'b, T, B, C, M> StrippedPartialEq<ModuloProtected<TermDefinitionRef<'b, T, B, C, M>>> for ModuloProtected<TermDefinitionRef<'a, T, B, C, M>>where T: PartialEq<T>, B: PartialEq<B>, C: StrippedPartialEq<C>,

fn stripped_eq( &self, other: &ModuloProtected<TermDefinitionRef<'b, T, B, C, M>>) -> bool

impl<'a, T, B, C, M> StrippedEq for ModuloProtected<&'a NormalTermDefinition<T, B, C, M>>where T: Eq, B: Eq, C: StrippedEq,

impl<'a> StrippedEq for ModuloProtected<&'a TypeTermDefinition>

impl<'a, T, B, C, M> StrippedEq for ModuloProtected<TermDefinitionRef<'a, T, B, C, M>>where T: Eq, B: Eq, C: StrippedEq,

Auto Trait Implementations

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

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> At for T

fn at<M>(self, metadata: M) -> Meta<T, M>

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> BorrowStripped for T

fn stripped(&self) -> &Stripped<T>

impl<T> BorrowUnordered for T

fn unordered(&self) -> &Unordered<T>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, B> IntoId<T, B> for T

type Id = Id<T, B>

fn to_ref(self) -> <T as IntoId<T, B>>::Id

impl<T> ToOwned for T

type Owned = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithContext for Twhere T: ?Sized,

fn with<C>(&self, context: C) -> Contextual<&T, C>

fn into_with<C>(self, context: C) -> Contextual<T, C>

impl<'a, 'b, T, B, C, M> StrippedPartialEq<ModuloProtected<&'b NormalTermDefinition<T, B, C, M>>> for ModuloProtected<&'a NormalTermDefinition<T, B, C, M>>where
T: PartialEq<T>,
B: PartialEq<B>,
C: StrippedPartialEq<C>,

fn stripped_eq(
&self,
other: &ModuloProtected<&'b NormalTermDefinition<T, B, C, M>>
) -> bool

impl<'a, 'b, T, B, C, M> StrippedPartialEq<ModuloProtected<TermDefinitionRef<'b, T, B, C, M>>> for ModuloProtected<TermDefinitionRef<'a, T, B, C, M>>where
T: PartialEq<T>,
B: PartialEq<B>,
C: StrippedPartialEq<C>,

fn stripped_eq(
&self,
other: &ModuloProtected<TermDefinitionRef<'b, T, B, C, M>>
) -> bool

impl<'a, T, B, C, M> StrippedEq for ModuloProtected<&'a NormalTermDefinition<T, B, C, M>>where
T: Eq,
B: Eq,
C: StrippedEq,

impl<'a, T, B, C, M> StrippedEq for ModuloProtected<TermDefinitionRef<'a, T, B, C, M>>where
T: Eq,
B: Eq,
C: StrippedEq,

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,

impl<T> Any for Twhere
T: 'static + ?Sized,

impl<T> Borrow<T> for Twhere
T: ?Sized,

impl<T> BorrowMut<T> for Twhere
T: ?Sized,

impl<T, U> Into<U> for Twhere
U: From<T>,

impl<T, U> TryFrom<U> for Twhere
U: Into<T>,

impl<T, U> TryInto<U> for Twhere
U: TryFrom<T>,

impl<T> WithContext for Twhere
T: ?Sized,