Enum json_ld_core::id::ValidId

pub enum ValidId<I = IriBuf, B = BlankIdBuf> {
    Blank(B),
    Iri(I),
}

RDF node identifier.

Either a blank node identifier or an IRI.

Hash implementation

It is guaranteed that the Hash implementation of Id is transparent, meaning that the hash of Term::Blank(id) the same as id and the hash of Subject::Iri(iri) is the same as iri.

Variants

Blank(B)

Blank node identifier.

Iri(I)

IRI.

Implementations

impl<I, B> Id<I, B>

pub fn is_blank(&self) -> bool

pub fn is_iri(&self) -> bool

pub fn as_blank(&self) -> Option<&B>

pub fn as_iri(&self) -> Option<&I>

pub fn try_into_blank(self) -> Result<B, I>

pub fn into_blank(self) -> Option<B>

pub fn try_into_iri(self) -> Result<I, B>

pub fn into_iri(self) -> Option<I>

pub fn as_term<L>(&self) -> Term<&Id<I, B>, &L>

Converts this id reference into the term Term::Id(&id).

pub fn into_term<L>(self) -> Term<Id<I, B>, L>

Converts the id into the term Term::Id(id).

pub fn as_str(&self) -> &str

where I: AsRef<str>, B: AsRef<str>,

Returns a borrowed string representation of the id.

pub fn as_ref(&self) -> Id<&I, &B>

Converts an &Id<I, B> into an Id<&I, &B>.

impl<'a, I, B> Id<&'a I, &'a B>

pub fn cloned(self) -> Id<I, B>

where I: Clone, B: Clone,

Maps an Id<&I, &B> into an Id<I, B> by cloning the contents of the id.

pub fn copied(self) -> Id<I, B>

where I: Copy, B: Copy,

Maps an Id<&I, &B> into an Id<I, B> by copying the contents of the id.

impl Id

pub fn as_id_ref(&self) -> Id<Iri<'_>, &BlankId>

Turns this reference into an IdRef.

pub fn as_subject_ref(&self) -> Id<Iri<'_>, &BlankId>

Alias for as_id_ref.

pub fn as_graph_label_ref(&self) -> Id<Iri<'_>, &BlankId>

Alias for as_id_ref.

pub fn inserted_into<V>( &self, vocabulary: &mut V ) -> Id<<V as IriVocabulary>::Iri, <V as BlankIdVocabulary>::BlankId>

where V: VocabularyMut,

pub fn insert_into<V>( self, vocabulary: &mut V ) -> Id<<V as IriVocabulary>::Iri, <V as BlankIdVocabulary>::BlankId>

where V: VocabularyMut,

impl<'a> Id<Iri<'a>, &'a BlankId>

pub fn into_owned(self) -> Id

Trait Implementations

impl<I, B> AsBlankId for Id<I, B>

fn as_blank(&self) -> Option<&<Id<I, B> as MaybeBlankId>::BlankId>

Returns a reference to the blank node identifier value, if any.

fn is_blank(&self) -> bool

impl<I, B> AsId for Id<I, B>

type Iri = I

type BlankId = B

fn as_id(&self) -> Id<&I, &B>

impl<I, B> AsIri for Id<I, B>

fn as_iri(&self) -> Option<&I>

Returns a reference to the iri value, if any.

fn is_iri(&self) -> bool

impl<I, B, L> AsRdfTerm<I, B, L> for Id<I, B>

fn as_rdf_term(&self) -> Term<Id<&I, &B>, &L>

impl<I, B, V> AsRefWithContext<str, V> for Id<I, B>

where V: Vocabulary<Iri = I, BlankId = B>,

fn as_ref_with<'a>(&'a self, vocabulary: &'a V) -> &'a str

impl<I, B> Clone for Id<I, B>

where I: Clone, B: Clone,

fn clone(&self) -> Id<I, B>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<I, B> Debug for Id<I, B>

where I: Debug, B: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<I, B> Display for Id<I, B>

where I: Display, B: Display,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<I, B, V> DisplayWithContext<V> for Id<I, B>

where V: Vocabulary<Iri = I, BlankId = B>,

fn fmt_with(&self, vocabulary: &V, f: &mut Formatter<'_>) -> Result<(), Error>

impl<I: PartialEq, B: PartialEq> Equivalent<Id<I, B>> for ValidId<I, B>

fn equivalent(&self, key: &Id<I, B>) -> bool

Checks if this value is equivalent to the given key.

impl<T, B> From<Id<T, B>> for Id<T, B>

fn from(r: ValidId<T, B>) -> Self

Converts to this type from the input type.

impl<I, B> FromBlankId for Id<I, B>

fn from_blank(b: <Id<I, B> as MaybeBlankId>::BlankId) -> Id<I, B>

Builds a value from a blank node identifier.

impl<I, B> FromIri for Id<I, B>

fn from_iri(b: I) -> Id<I, B>

Builds a value from an iri.

impl<I, B> Hash for Id<I, B>

where I: Hash, B: Hash,

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I, B, T> IdInterpretation<Id<I, B>> for T

where T: IriInterpretation<I> + BlankIdInterpretation<B>,

fn id_interpretation( &self, id: &Id<I, B> ) -> Option<<T as Interpretation>::Resource>

Returns the interpretation of the given node identifier, if any.

impl<I, B, T> IdInterpretationMut<Id<I, B>> for T

where T: IriInterpretationMut<I> + BlankIdInterpretationMut<B>,

fn interpret_id(&mut self, id: Id<I, B>) -> <T as Interpretation>::Resource

Interprets the given identifier.

impl<V, I, B> InsertIntoVocabulary<V> for Id<I, B>

where I: InsertIntoVocabulary<V>, B: InsertIntoVocabulary<V>,

type Inserted = Id<<I as InsertIntoVocabulary<V>>::Inserted, <B as InsertIntoVocabulary<V>>::Inserted>

fn insert_into_vocabulary( self, vocabulary: &mut V ) -> <Id<I, B> as InsertIntoVocabulary<V>>::Inserted

impl<V, I, B> InsertedIntoVocabulary<V> for Id<I, B>

where I: InsertedIntoVocabulary<V>, B: InsertedIntoVocabulary<V>,

type Inserted = Id<<I as InsertedIntoVocabulary<V>>::Inserted, <B as InsertedIntoVocabulary<V>>::Inserted>

fn inserted_into_vocabulary( &self, vocabulary: &mut V ) -> <Id<I, B> as InsertedIntoVocabulary<V>>::Inserted

impl<I, B, T> Interpret<T> for Id<I, B>

where T: IdInterpretationMut<Id<I, B>>,

type Interpreted = <T as Interpretation>::Resource

Interpreted form.

fn interpret( self, interpretation: &mut T ) -> <Id<I, B> as Interpret<T>>::Interpreted

Interpret the given resource.

impl<I, B> IntoBlankId for Id<I, B>

fn try_into_blank(self) -> Result<<Id<I, B> as MaybeBlankId>::BlankId, Id<I, B>>

fn into_blank(self) -> Option<Self::BlankId>

Converts the value into a blank node identifier, if any.

impl<I, B> IntoId for Id<I, B>

fn into_id(self) -> Id<I, B>

impl<I, B> IntoIri for Id<I, B>

fn try_into_iri(self) -> Result<I, Id<I, B>>

fn into_iri(self) -> Option<Self::Iri>

Converts the value into an iri, if any.

impl<I, B, T, U> MapLiteral<T, U> for Id<I, B>

type Output = Id<I, B>

fn map_literal( self, _f: impl FnMut(T) -> U ) -> <Id<I, B> as MapLiteral<T, U>>::Output

Maps RDF literal values.

impl<T: PartialEq, B: PartialEq> MappedEq for ValidId<T, B>

type BlankId = B

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &Self, f: F ) -> bool

where Self::BlankId: 'a + 'b,

Structural equality with mapped blank identifiers.

impl<I, B> MaybeBlankId for Id<I, B>

type BlankId = B

Inner blank node identifier type.

impl<I, B> MaybeIri for Id<I, B>

type Iri = I

Inner iri type.

impl<I, B> Ord for Id<I, B>

where I: Ord, B: Ord,

fn cmp(&self, other: &Id<I, B>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl<I1, B1, I2, B2> PartialEq<Id<I2, B2>> for Id<I1, B1>

where I1: PartialEq<I2>, B1: PartialEq<B2>,

fn eq(&self, other: &Id<I2, B2>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I1, B1, I2, B2> PartialOrd<Id<I2, B2>> for Id<I1, B1>

where I1: PartialOrd<I2>, B1: PartialOrd<B2>,

fn partial_cmp(&self, other: &Id<I2, B2>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<I, B> RdfDisplay for Id<I, B>

where I: Display, B: Display,

fn rdf_fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

fn rdf_display(&self) -> RdfDisplayed<&Self>

impl<I, B, V> RdfDisplayWithContext<V> for Id<I, B>

where V: Vocabulary<Iri = I, BlankId = B>,

fn rdf_fmt_with( &self, vocabulary: &V, f: &mut Formatter<'_> ) -> Result<(), Error>

impl<I, B> Strip for Id<I, B>

type Stripped = Id<I, B>

fn strip(self) -> Id<I, B>

impl<I, B> StrippedHash for Id<I, B>

where I: Hash, B: Hash,

fn stripped_hash<H>(&self, state: &mut H)

where H: Hasher,

impl<I, B> StrippedOrd for Id<I, B>

where I: Ord, B: Ord,

fn stripped_cmp(&self, other: &Id<I, B>) -> Ordering

impl<I, B, __I, __B> StrippedPartialEq<Id<__I, __B>> for Id<I, B>

where I: PartialEq<__I>, B: PartialEq<__B>,

fn stripped_eq(&self, other: &Id<__I, __B>) -> bool

impl<I, B, __I, __B> StrippedPartialOrd<Id<__I, __B>> for Id<I, B>

where I: PartialOrd<__I>, B: PartialOrd<__B>,

fn stripped_partial_cmp(&self, other: &Id<__I, __B>) -> Option<Ordering>

impl<'a, T, B> TryFrom<&'a Id<T, B>> for &'a ValidId<T, B>

type Error = &'a String

The type returned in the event of a conversion error.

fn try_from(r: &'a Id<T, B>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'a, T, B> TryFrom<&'a mut Id<T, B>> for &'a mut ValidId<T, B>

type Error = &'a mut String

The type returned in the event of a conversion error.

fn try_from(r: &'a mut Id<T, B>) -> Result<Self, Self::Error>

Performs the conversion.

impl<T, B> TryFrom<Id<T, B>> for ValidId<T, B>

type Error = String

The type returned in the event of a conversion error.

fn try_from(r: Id<T, B>) -> Result<Self, Self::Error>

Performs the conversion.

impl<I, B> Copy for Id<I, B>

where I: Copy, B: Copy,

impl<I, B> Eq for Id<I, B>

where I: Eq, B: Eq,

impl<I, B> StrippedEq for Id<I, B>

where I: Eq, B: Eq,

impl<I, B> StructuralEq for Id<I, B>