sophia_api::term

Enum SimpleTerm

Source
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>>),
}
Expand description

A straighforward implementation of Term as an enum.

Variants§

§

Iri(IriRef<MownStr<'a>>)

§

BlankNode(BnodeId<MownStr<'a>>)

An RDF blank node

§

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

An RDF literal

§

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

§

Triple(Box<[Self; 3]>)

An RDF-star quoted triple

§

Variable(VarName<MownStr<'a>>)

A SPARQL or Notation3 variable

Implementations§

Source§

impl<'a> SimpleTerm<'a>

Source

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.

Source

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

Build a SimpleTerm of kind Triple from any triple.

Trait Implementations§

Source§

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

Source§

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

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

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

Source§

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

Formats the value using the given formatter. Read more
Source§

impl FromTerm for SimpleTerm<'static>

Source§

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

Copy term into an instance of this type.
Source§

impl Hash for SimpleTerm<'_>

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Ord for SimpleTerm<'_>

Source§

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

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more
Source§

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

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

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

Source§

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

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

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

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

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

Source§

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. Read more
Source§

fn kind(&self) -> TermKind

Return the kind of RDF term that this Term represents.
Source§

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

If kind returns TermKind::Iri, return this IRI. Otherwise return None. Read more
Source§

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

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

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

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

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

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

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. Read more
Source§

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

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

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

If kind returns TermKind::Triple, return this triple. Otherwise return None. Read more
Source§

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

If kind returns TermKind::Triple, return this triple, consuming this term. Otherwise return None. Read more
Source§

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

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

fn is_iri(&self) -> bool

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

fn is_blank_node(&self) -> bool

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

fn is_literal(&self) -> bool

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

fn is_variable(&self) -> bool

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

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.
Source§

fn is_triple(&self) -> bool

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

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

Iter over all the constituents of this term. Read more
Source§

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. Read more
Source§

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

Iter over all the atomic constituents of this term. Read more
Source§

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. Read more
Source§

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

Check whether self and other represent the same RDF term.
Source§

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

Compare two terms: Read more
Source§

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

Compute an implementation-independant hash of this RDF term.
Source§

fn into_term<T: FromTerm>(self) -> T
where Self: Sized,

Convert this term in another type. Read more
Source§

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

Try to convert this term into another type. Read more
Source§

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

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

impl TryFromTerm for SimpleTerm<'static>

Source§

type Error = Infallible

The error type produced when failing to copy a given term
Source§

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

Try to copy term into an instance of this type.
Source§

impl Eq for SimpleTerm<'_>

Auto Trait Implementations§

§

impl<'a> Freeze for SimpleTerm<'a>

§

impl<'a> RefUnwindSafe for SimpleTerm<'a>

§

impl<'a> Send for SimpleTerm<'a>

§

impl<'a> Sync for SimpleTerm<'a>

§

impl<'a> Unpin for SimpleTerm<'a>

§

impl<'a> UnwindSafe for SimpleTerm<'a>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.