Enum json_ld_core::id::Id

pub enum Id<I = IriBuf, B = BlankIdBuf> {
    Valid(ValidId<I, B>),
    Invalid(String),
}

Node identifier.

Used to reference a node across a document or to a remote document. It can be an identifier (IRI), a blank node identifier for local blank nodes or an invalid reference (a string that is neither an IRI nor blank node identifier).

Variants

Valid(ValidId<I, B>)

Invalid(String)

Invalid reference.

Implementations

impl<I: From<IriBuf>, B: From<BlankIdBuf>> Id<I, B>

pub fn from_string(s: String) -> Self

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

pub fn iri(iri: I) -> Self

pub fn blank(b: B) -> Self

pub fn from_string_in(
    vocabulary: &mut impl VocabularyMut<Iri = I, BlankId = B>,
    s: String
) -> Self

pub fn is_valid(&self) -> bool

Checks if this is a valid reference.

Returns true is this reference is a node identifier or a blank node identifier, false otherwise.

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

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

If the reference is a node identifier, returns the node IRI.

Returns None if it is a blank node reference.

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

pub fn as_ref(&self) -> Ref<'_, I, B>

impl<I: AsRef<str>, B: AsRef<str>> Id<I, B>

pub fn as_str(&self) -> &str

Get a string representation of the reference.

This will either return a string slice of an IRI, or a blank node identifier.

Trait Implementations

impl<T, B, N: Vocabulary<Iri = T, BlankId = B>> AsRefWithContext<str, N> for Id<T, B>

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

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, B: Debug> Debug for Id<T, B>

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

Formats the value using the given formatter.

impl<T: Display, B: Display> Display for Id<T, B>

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

Formats the value using the given formatter.

impl<T, B, N: Vocabulary<Iri = T, BlankId = B>> DisplayWithContext<N> for Id<T, B>

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

impl<'a, T, B> From<&'a Id<T, B>> for Id<&'a T, &'a B>

fn from(r: &'a Id<T, B>) -> Id<&'a T, &'a B>

Converts to this type from the input type.

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

fn from(prop: Id<T, B>) -> Term<T, B>

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

fn from(id: T) -> Id<T, B>

Converts to this type from the input type.

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<'a, T, B> IntoId<T, B> for &'a Id<T, B>

type Id = &'a Id<T, B>

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

fn to_ref(self) -> Self::Id

Convert the value into a reference.

impl<T, B, M, N: Vocabulary<Iri = T, BlankId = B>> IntoJsonWithContextMeta<M, N> for Id<T, B>

fn into_json_meta_with(self, meta: M, context: &N) -> Meta<Value<M>, M>

impl<T: PartialEq, B: PartialEq> MappedEq<Id<T, B>> for Id<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: Ord, B: Ord> Ord for Id<I, B>

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

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

Restrict a value to a certain interval.

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

fn eq(&self, other: &I) -> bool

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

const 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<I: PartialEq, B: PartialEq> PartialEq<Id<I, B>> for Id<I, B>

fn eq(&self, other: &Id<I, B>) -> bool

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

const 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<T: PartialEq, B: PartialEq> PartialEq<Id<T, B>> for Term<T, B>

fn eq(&self, r: &Id<T, B>) -> bool

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

const 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<T: PartialEq, B: PartialEq> PartialEq<Term<T, B>> for Id<T, B>

fn eq(&self, term: &Term<T, B>) -> bool

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

const 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<T: PartialEq<str>, B: PartialEq<str>> PartialEq<str> for Id<T, B>

fn eq(&self, other: &str) -> bool

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

const 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<I: PartialOrd, B: PartialOrd> PartialOrd<Id<I, B>> for Id<I, B>

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

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

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

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

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

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

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

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

const 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<T, B, N: Vocabulary<Iri = T, BlankId = B>> PrecomputeSizeWithContext<N> for Id<T, B>

fn contextual_pre_compute_size(
    &self,
    vocabulary: &N,
    _options: &Options,
    _sizes: &mut Vec<Size>
) -> Size

impl<T, B, N: Vocabulary<Iri = T, BlankId = B>> PrintWithContext<N> for Id<T, B>

fn contextual_fmt_with(
    &self,
    vocabulary: &N,
    f: &mut Formatter<'_>,
    _options: &Options,
    _indent: usize
) -> Result

impl<T, B, N: Vocabulary<Iri = T, BlankId = B>> PrintWithSizeAndContext<N> for Id<T, B>

fn contextual_fmt_with_size(
    &self,
    vocabulary: &N,
    f: &mut Formatter<'_>,
    _options: &Options,
    _indent: usize,
    _sizes: &[Size],
    _index: &mut usize
) -> Result

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

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

impl<I: PartialEq, B: PartialEq> StrippedPartialEq<Id<I, B>> for Id<I, B>

fn stripped_eq(&self, other: &Self) -> bool

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<T, B> TryFrom<Term<T, B>> for Id<T, B>

type Error = Term<T, B>

The type returned in the event of a conversion error.

fn try_from(term: Term<T, B>) -> Result<Id<T, B>, Term<T, B>>

Performs the conversion.

impl<I, B, M> TryFromJson<I, B, M> for Id<I, B>

fn try_from_json_in(
    vocabulary: &mut impl VocabularyMut<Iri = I, BlankId = B>,
    Meta: Meta<Value<M>, M>
) -> Result<Meta<Self, M>, Meta<InvalidExpandedJson<M>, M>>

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

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

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

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