Enum SimpleTerm

pub enum SimpleTerm<'a> {
    Iri(IriRef<MownStr<'a>>),
    BlankNode(BnodeId<MownStr<'a>>),
    LiteralDatatype(MownStr<'a>, IriRef<MownStr<'a>>),
    LiteralLanguage(MownStr<'a>, LanguageTag<MownStr<'a>>),
    Triple(Box<[Self; 3]>),
    Variable(VarName<MownStr<'a>>),
}

A straighforward implementation of Term as an enum.

Variants

Iri(IriRef<MownStr<'a>>)

An RDF IRI

BlankNode(BnodeId<MownStr<'a>>)

An RDF blank node

LiteralDatatype(MownStr<'a>, IriRef<MownStr<'a>>)

An RDF literal

LiteralLanguage(MownStr<'a>, LanguageTag<MownStr<'a>>)

An RDF language-tagged string

Triple(Box<[Self; 3]>)

An RDF-star quoted triple

Variable(VarName<MownStr<'a>>)

A SPARQL or Notation3 variable

Implementations

impl<'a> SimpleTerm<'a>

pub fn from_term_ref<T>(term: &'a T) -> Self

where T: Term + ?Sized,

Build a SimpleTerm that borrows as much as possible from the original term.

NB: depending on the implementation of term, some data might still be allocated.

pub fn from_triple<T: Triple>(triple: T) -> Self

Build a SimpleTerm of kind Triple from any triple.

Trait Implementations

impl<'a> Clone for SimpleTerm<'a>

fn clone(&self) -> SimpleTerm<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for SimpleTerm<'a>

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

Formats the value using the given formatter.

impl FromTerm for SimpleTerm<'static>

fn from_term<T: Term>(term: T) -> Self

Copy term into an instance of this type.

impl Hash for SimpleTerm<'_>

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 Ord for SimpleTerm<'_>

fn cmp(&self, other: &Self) -> 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,

Restrict a value to a certain interval.

impl<T: Term> PartialEq<T> for SimpleTerm<'_>

fn eq(&self, other: &T) -> 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<T: Term> PartialOrd<T> for SimpleTerm<'_>

fn partial_cmp(&self, other: &T) -> Option<Ordering>

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl<'a> Term for SimpleTerm<'a>

type BorrowTerm<'x> = &'x SimpleTerm<'a> where 'a: 'x

A type of Term that can be borrowed from this type (i.e. that can be obtained from a simple reference to this type). It is used in particular for accessing constituents of quoted tripes (Term::triple) or for sharing this term with a function that expects T: Term (rather than &T) using Term::borrow_term.

fn kind(&self) -> TermKind

Return the kind of RDF term that this Term represents.

fn iri(&self) -> Option<IriRef<MownStr<'_>>>

If kind returns TermKind::Iri, return this IRI. Otherwise return None.

fn bnode_id(&self) -> Option<BnodeId<MownStr<'_>>>

If kind returns TermKind::BlankNode, return the locally unique label of this blank node. Otherwise return None.

fn lexical_form(&self) -> Option<MownStr<'_>>

If kind returns TermKind::Literal, return the lexical form of this literal. Otherwise return None.

fn datatype(&self) -> Option<IriRef<MownStr<'_>>>

If kind returns TermKind::Literal, return the datatype IRI of this literal. Otherwise return None.

fn language_tag(&self) -> Option<LanguageTag<MownStr<'_>>>

If kind returns TermKind::Literal, and if this literal is a language-tagged string, return its language tag. Otherwise return None.

fn variable(&self) -> Option<VarName<MownStr<'_>>>

If kind returns TermKind::Variable, return the name of this variable. Otherwise return None.

fn triple(&self) -> Option<[Self::BorrowTerm<'_>; 3]>

If kind returns TermKind::Triple, return this triple. Otherwise return None.

fn to_triple(self) -> Option<[Self; 3]>

If kind returns TermKind::Triple, return this triple, consuming this term. Otherwise return None.

fn borrow_term(&self) -> Self::BorrowTerm<'_>

Get something implementing Term from a simple reference to self, representing the same RDF term as self.

fn is_iri(&self) -> bool

Return true if this Term is an IRI, i.e. if kind retuns TermKind::Iri.

fn is_blank_node(&self) -> bool

Return true if this Term is a blank node, i.e. if kind retuns TermKind::BlankNode.

fn is_literal(&self) -> bool

Return true if this Term is a literal, i.e. if kind retuns TermKind::Literal.

fn is_variable(&self) -> bool

Return true if this Term is a variable, i.e. if kind retuns TermKind::Variable.

fn is_atom(&self) -> bool

Return true if this Term is an atomic term, i.e. an IRI, a blank node, a literal or a variable.

fn is_triple(&self) -> bool

Return true if this Term is an RDF-star quoted triple, i.e. if kind retuns TermKind::Triple.

fn constituents<'s>( &'s self, ) -> Box<dyn Iterator<Item = Self::BorrowTerm<'s>> + 's>

Iter over all the constituents of this term.

fn to_constituents<'a>(self) -> Box<dyn Iterator<Item = Self> + 'a>

where Self: Clone + 'a,

Iter over all the constiutents of this term, consuming it.

fn atoms<'s>(&'s self) -> Box<dyn Iterator<Item = Self::BorrowTerm<'s>> + 's>

Iter over all the atomic constituents of this term.

fn to_atoms<'a>(self) -> Box<dyn Iterator<Item = Self> + 'a>

where Self: Sized + 'a,

Iter over all the atomic constituents of this term, consuming it.

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

Check whether self and other represent the same RDF term.

fn cmp<T>(&self, other: T) -> Ordering

where T: Term,

Compare two terms:

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

Compute an implementation-independant hash of this RDF term.

fn into_term<T: FromTerm>(self) -> T

where Self: Sized,

Convert this term in another type.

fn try_into_term<T: TryFromTerm>(self) -> Result<T, T::Error>

where Self: Sized,

Try to convert this term into another type.

fn as_simple(&self) -> SimpleTerm<'_>

Copies this term into a SimpleTerm, borrowing as much as possible from self (calling SimpleTerm::from_term_ref).

impl TryFromTerm for SimpleTerm<'static>

type Error = Infallible

The error type produced when failing to copy a given term

fn try_from_term<T: Term>(term: T) -> Result<Self, Self::Error>

Try to copy term into an instance of this type.

impl Eq for SimpleTerm<'_>