Enum Type

pub enum Type<I = IriBuf> {
    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>(self, f: impl FnOnce(I) -> U) -> Type<U>

Maps the IRI of this type.

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

where I: Clone,

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> Type<I>

where I: AsRef<str>,

pub fn as_str(&self) -> &str

Returns a JSON-LD string representation of the type.

Trait Implementations

impl<I> Clone for Type<I>

where I: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I> Debug for Type<I>

where I: Debug,

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

Formats the value using the given formatter.

impl<I> Display for Type<I>

where I: Display,

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

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 for Type<I>

where I: 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> PartialEq for Type<I>

where I: PartialEq,

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

Tests for self and other values to be equal, and is used by ==.

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

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

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 for Type<I>

where I: Eq,

impl<I> StructuralPartialEq for Type<I>