Enum json_ld_core::Type

pub enum Type<I> {
    Id,
    Json,
    None,
    Vocab,
    Iri(I),
}

Object type.

This is the value of a @type entry.

Variants

Id

@id.

The value must be interpreted as an IRI.

Json

@json.

The value is an arbitrary JSON value.

None

@none

Vocab

@vocab

Iri(I)

IRI type.

Implementations

impl<I> Type<I>

pub fn into_iri(self) -> Result<I, Type<I>>

Turns this type into an IRI if possible.

pub fn map<U, F: FnOnce(&I) -> U>(&self, f: F) -> Type<U>

Maps the IRI of this type.

impl<'a, I: Clone> Type<&'a I>

pub fn cloned(self) -> Type<I>

Clones the referenced IRI.

impl<I> Type<I>

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

Returns a reference to the type IRI if any.

impl<I: AsRef<str>> Type<I>

pub fn as_str(&self) -> &str

Returns a JSON-LD string representation of the type.

Trait Implementations

impl<I: Clone> Clone for Type<I>

fn clone(&self) -> Type<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I: Debug> Debug for Type<I>

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

Formats the value using the given formatter.

impl<I: Display> Display for Type<I>

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

Formats the value using the given formatter.

impl<'a, I> From<&'a Type<I>> for Type<&'a I>

fn from(t: &'a Type<I>) -> Type<&'a I>

Converts to this type from the input type.

impl<I, B> From<Type<I>> for Term<I, B>

fn from(t: Type<I>) -> Term<I, B>

Converts to this type from the input type.

impl<I: Hash> Hash for Type<I>

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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<I: PartialEq> PartialEq<Type<I>> for Type<I>

fn eq(&self, other: &Type<I>) -> 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<I: StrippedHash> StrippedHash for Type<I>

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

impl<I: StrippedPartialEq<__I>, __I> StrippedPartialEq<Type<__I>> for Type<I>

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

impl<I, B> TryFrom<Term<I, B>> for Type<I>

type Error = Term<I, B>

The type returned in the event of a conversion error.

fn try_from(term: Term<I, B>) -> Result<Type<I>, Term<I, B>>

Performs the conversion.

impl<I: Eq> Eq for Type<I>

impl<I: StrippedEq> StrippedEq for Type<I>

impl<I> StructuralEq for Type<I>

impl<I> StructuralPartialEq for Type<I>