Enum Term 

pub enum Term {
    BlankId(BlankIdBuf),
    Ground(GroundTerm),
}

Term.

Lexical representation of an RDF resource.

Variants

BlankId(BlankIdBuf)

Blank identifier.

Ground(GroundTerm)

Ground term.

Implementations

impl Term

pub fn iri(iri: IriBuf) -> Self

Creates an IRI term.

pub fn literal(literal: Literal) -> Self

Creates a literal term.

pub fn id(id: Id) -> Self

Creates a term from an identifier (IRI or blank node identifier).

pub fn is_id(&self) -> bool

Checks if this term is an identifier, i.e. a blank node identifier or an IRI (as opposed to a literal).

pub fn as_id(&self) -> Option<IdRef<'_>>

Returns this term as an identifier, unless it is a literal.

pub fn is_blank_id(&self) -> bool

Checks if this is a blank node identifier.

pub fn is_ground(&self) -> bool

Checks if this is a ground term (an IRI or a literal, but not a blank node identifier).

pub fn as_blank_id(&self) -> Option<&BlankId>

Returns this term as a blank node identifier, if it is one.

pub fn as_ground(&self) -> Option<&GroundTerm>

Returns this term as a ground term, if it is one.

pub fn into_ground(self) -> Result<GroundTerm, BlankIdBuf>

Turns this term into a ground term, or returns the blank node identifier if it isn’t one.

pub fn is_iri(&self) -> bool

Checks if this is an IRI.

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

Returns this term as an IRI, if it is one.

pub fn into_iri(self) -> Result<IriBuf, Self>

Turns this term into an IRI, or returns it unchanged if it isn’t one.

pub fn is_literal(&self) -> bool

Checks if this is a literal.

pub fn as_literal(&self) -> Option<LiteralRef<'_>>

Returns this term as a literal, if it is one.

pub fn as_ref(&self) -> TermRef<'_>

Returns a reference to this term.

pub fn as_cow(&self) -> CowTerm<'_>

Returns a copy-on-write reference to this term.

pub fn into_cow(self) -> CowTerm<'static>

Turns this term into a copy-on-write term.

pub fn into_id(self) -> Result<Id, Literal>

Turns this term into an identifier, or returns the literal value if it isn’t one.

Trait Implementations

impl AsPattern for Term

Blank node identifiers act as the variable side of the Pattern ground/variable abstraction, and ground terms act as the ground side.

This lets lexical RDF data be used directly with rdf-types’ pattern matching and isomorphism-checking facilities (e.g. are_isomorphic and find_bijection), since blank node identifiers, like pattern variables, are existentially quantified and can be renamed without changing the meaning of the data.

type Ground = GroundTerm

Ground value type.

type Var = BlankId

Variable type.

fn as_pattern(&self) -> Pattern<&GroundTerm, &BlankId>

Borrows this value as a Pattern.

fn is_ground(&self) -> bool

Checks if this value is a ground value (as opposed to a variable).

fn is_var(&self) -> bool

Checks if this value is a variable (as opposed to a ground value).

fn is_ground_and(&self, f: impl FnOnce(&Self::Ground) -> bool) -> bool

Returns true if this value is a ground value satisfying the given predicate, and false if it is a variable.

fn is_var_and(&self, f: impl FnOnce(&Self::Var) -> bool) -> bool

Returns true if this value is a variable satisfying the given predicate, and false if it is a ground value.

fn is_ground_or(&self, f: impl FnOnce(&Self::Var) -> bool) -> bool

Returns true if this value is a ground value, or if it is a variable satisfying the given predicate.

fn is_var_or(&self, f: impl FnOnce(&Self::Ground) -> bool) -> bool

Returns true if this value is a variable, or if it is a ground value satisfying the given predicate.

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Comparable<Term> for CowTerm<'_>

fn compare(&self, key: &Term) -> Ordering

Compare self to key and return their ordering.

impl Comparable<Term> for TermRef<'_>

fn compare(&self, key: &Term) -> Ordering

Compare self to key and return their ordering.

impl Debug for Term

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

Formats the value using the given formatter.

impl Display for Term

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

Formats the value using the given formatter.

impl Eq for Term

impl Equivalent<Term> for CowTerm<'_>

fn equivalent(&self, key: &Term) -> bool

Compare self to key and return true if they are equal.

impl Equivalent<Term> for TermRef<'_>

fn equivalent(&self, key: &Term) -> bool

Compare self to key and return true if they are equal.

impl<'a> From<&'a Term> for CowTerm<'a>

fn from(value: &'a Term) -> Self

Converts to this type from the input type.

impl From<BlankIdBuf> for Term

fn from(value: BlankIdBuf) -> Self

Converts to this type from the input type.

impl From<CowTerm<'_>> for Term

fn from(value: CowTerm<'_>) -> Self

Converts to this type from the input type.

impl From<GroundTerm> for Term

fn from(value: GroundTerm) -> Self

Converts to this type from the input type.

impl From<Id> for Term

fn from(value: Id) -> Self

Converts to this type from the input type.

impl From<IriBuf> for Term

fn from(value: IriBuf) -> Self

Converts to this type from the input type.

impl From<Literal> for Term

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl From<Term> for CowTerm<'_>

fn from(value: Term) -> Self

Converts to this type from the input type.

impl From<TermRef<'_>> for Term

fn from(value: TermRef<'_>) -> Self

Converts to this type from the input type.

impl Hash for Term

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 Term

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

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

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

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

fn eq(&self, other: &Term) -> 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<'a> PartialEq<TermRef<'a>> for Term

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

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

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

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

fn partial_cmp(&self, other: &Term) -> 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> PartialOrd<TermRef<'a>> for Term

fn partial_cmp(&self, other: &TermRef<'a>) -> 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 RdfDisplay for Term

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

Formats the value using the given formatter.

fn rdf_display(&self) -> RdfDisplayed<&Self>

Prepare the value to be formatted as an RDF syntax element.

impl StructuralPartialEq for Term