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) -> &strwhere 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<IriBuf, BlankIdBuf>

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,

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> 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> 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> 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<T: PartialEq, B: PartialEq> MappedEq<Id<T, B>> 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 ) -> boolwhere 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) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

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>