Term

Enum Term 

Source
pub enum Term {
    NamedNode(NamedNode),
    BlankNode(BlankNode),
    Literal(Literal),
    Variable(Variable),
    QuotedTriple(Box<QuotedTriple>),
}
Expand description

Union type for all RDF terms

This enum can hold any type of RDF term and is used when the specific type is not known at compile time. It supports the full RDF 1.2 specification including RDF-star quoted triples.

§Examples

use oxirs_core::model::{Term, NamedNode, Literal, BlankNode, Variable};

// Create different types of terms
let named_node = Term::NamedNode(NamedNode::new("http://example.org/resource").unwrap());
let literal = Term::Literal(Literal::new("Hello World"));
let blank_node = Term::BlankNode(BlankNode::new("b1").unwrap());
let variable = Term::Variable(Variable::new("x").unwrap());

// Check term types
assert!(named_node.is_named_node());
assert!(literal.is_literal());
assert!(blank_node.is_blank_node());
assert!(variable.is_variable());

§Variants

  • NamedNode: An IRI reference (e.g., <http://example.org/resource>)
  • BlankNode: An anonymous node (e.g., _:b1)
  • Literal: A literal value with optional datatype and language tag
  • Variable: A query variable (e.g., ?x)
  • [QuotedTriple]: A quoted triple for RDF-star support

Variants§

§

NamedNode(NamedNode)

A named node (IRI reference)

Represents a resource identified by an IRI according to RFC 3987. Used for subjects, predicates, and objects in RDF triples.

§

BlankNode(BlankNode)

A blank node (anonymous resource)

Represents an anonymous resource that can be used as a subject or object but not as a predicate. Blank nodes have local scope within a graph.

§

Literal(Literal)

A literal value

Represents a data value with an optional datatype and language tag. Can only be used as objects in RDF triples.

§

Variable(Variable)

A query variable

Represents a variable in SPARQL queries or graph patterns. Variables are prefixed with ‘?’ or ‘$’ in SPARQL syntax.

§

QuotedTriple(Box<QuotedTriple>)

A quoted triple (RDF-star)

Represents a triple that can itself be used as a subject or object in another triple, enabling statement-level metadata.

Implementations§

Source§

impl Term

Source

pub fn is_named_node(&self) -> bool

Returns true if this term is a named node (IRI reference)

§Examples
use oxirs_core::model::{Term, NamedNode, Literal};

let named_node = Term::NamedNode(NamedNode::new("http://example.org/resource").unwrap());
let literal = Term::Literal(Literal::new("Hello"));

assert!(named_node.is_named_node());
assert!(!literal.is_named_node());
Source

pub fn is_blank_node(&self) -> bool

Returns true if this term is a blank node

§Examples
use oxirs_core::model::{Term, BlankNode, Literal};

let blank_node = Term::BlankNode(BlankNode::new("b1").unwrap());
let literal = Term::Literal(Literal::new("Hello"));

assert!(blank_node.is_blank_node());
assert!(!literal.is_blank_node());
Source

pub fn is_literal(&self) -> bool

Returns true if this term is a literal value

§Examples
use oxirs_core::model::{Term, NamedNode, Literal};

let literal = Term::Literal(Literal::new("Hello"));
let named_node = Term::NamedNode(NamedNode::new("http://example.org/resource").unwrap());

assert!(literal.is_literal());
assert!(!named_node.is_literal());
Source

pub fn is_variable(&self) -> bool

Returns true if this term is a query variable

§Examples
use oxirs_core::model::{Term, Variable, Literal};

let variable = Term::Variable(Variable::new("x").unwrap());
let literal = Term::Literal(Literal::new("Hello"));

assert!(variable.is_variable());
assert!(!literal.is_variable());
Source

pub fn is_quoted_triple(&self) -> bool

Returns true if this term is a quoted triple (RDF-star)

§Examples
use oxirs_core::model::{Term, Literal};

let literal = Term::Literal(Literal::new("Hello"));

assert!(!literal.is_quoted_triple());
// Note: Creating QuotedTriple examples requires more complex setup
Source

pub fn as_named_node(&self) -> Option<&NamedNode>

Returns the named node if this term is a named node

Source

pub fn as_blank_node(&self) -> Option<&BlankNode>

Returns the blank node if this term is a blank node

Source

pub fn as_literal(&self) -> Option<&Literal>

Returns the literal if this term is a literal

Source

pub fn as_variable(&self) -> Option<&Variable>

Returns the variable if this term is a variable

Source

pub fn as_quoted_triple(&self) -> Option<&QuotedTriple>

Returns the quoted triple if this term is a quoted triple

Source

pub fn from_subject(subject: &Subject) -> Term

Convert a Subject to a Term

Source

pub fn from_predicate(predicate: &Predicate) -> Term

Convert a Predicate to a Term

Source

pub fn from_object(object: &Object) -> Term

Convert an Object to a Term

Trait Implementations§

Source§

impl Clone for Term

Source§

fn clone(&self) -> Term

Returns a duplicate 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 Debug for Term

Source§

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

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

impl<'de> Deserialize<'de> for Term

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Display for Term

Source§

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

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

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

Source§

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

Converts to this type from the input type.
Source§

impl From<BlankNode> for Term

Source§

fn from(node: BlankNode) -> Self

Converts to this type from the input type.
Source§

impl From<GroundTerm> for Term

Source§

fn from(term: GroundTerm) -> Self

Converts to this type from the input type.
Source§

impl From<Literal> for Term

Source§

fn from(literal: Literal) -> Self

Converts to this type from the input type.
Source§

impl From<NamedNode> for Term

Source§

fn from(node: NamedNode) -> Self

Converts to this type from the input type.
Source§

impl From<NamedOrBlankNode> for Term

Source§

fn from(node: NamedOrBlankNode) -> Self

Converts to this type from the input type.
Source§

impl From<Object> for Term

Source§

fn from(object: Object) -> Self

Converts to this type from the input type.
Source§

impl From<Predicate> for Term

Source§

fn from(predicate: Predicate) -> Self

Converts to this type from the input type.
Source§

impl From<Subject> for Term

Source§

fn from(subject: Subject) -> Self

Converts to this type from the input type.
Source§

impl From<Term> for Object

Source§

fn from(term: Term) -> Self

Converts to this type from the input type.
Source§

impl From<Variable> for Term

Source§

fn from(variable: Variable) -> Self

Converts to this type from the input type.
Source§

impl Hash for Term

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 Term

Source§

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

Source§

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

Source§

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

Source§

fn as_str(&self) -> &str

Returns the string representation of this term
Source§

fn is_named_node(&self) -> bool

Returns true if this is a named node (IRI)
Source§

fn is_blank_node(&self) -> bool

Returns true if this is a blank node
Source§

fn is_literal(&self) -> bool

Returns true if this is a literal
Source§

fn is_variable(&self) -> bool

Returns true if this is a variable
Source§

fn is_quoted_triple(&self) -> bool

Returns true if this is a quoted triple (RDF-star)
Source§

impl Serialize for Term

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl TryFrom<Term> for GroundTerm

Source§

type Error = ()

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

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

Performs the conversion.
Source§

impl TryFrom<Term> for Predicate

Source§

type Error = OxirsError

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

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

Performs the conversion.
Source§

impl TryFrom<Term> for Subject

Source§

type Error = OxirsError

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

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

Performs the conversion.
Source§

impl ZeroCopySerialize for Term

Source§

fn serialize_to<W: Write>(&self, writer: &mut W) -> Result<()>

Serialize to a writer
Source§

fn serialized_size(&self) -> usize

Get the serialized size in bytes
Source§

fn serialize_to_bytes(&self, buf: &mut BytesMut)

Serialize to a byte buffer
Source§

impl Eq for Term

Source§

impl StructuralPartialEq for Term

Auto Trait Implementations§

§

impl Freeze for Term

§

impl RefUnwindSafe for Term

§

impl Send for Term

§

impl Sync for Term

§

impl Unpin for Term

§

impl UnwindSafe for Term

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, dest: *mut u8)

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

impl<Q, K> Comparable<K> for Q
where Q: Ord + ?Sized, K: Borrow<Q> + ?Sized,

Source§

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

Compare self to key and return their ordering.
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

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

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

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

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

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

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

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

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

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
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> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T> ToStringFallible for T
where T: Display,

Source§

fn try_to_string(&self) -> Result<String, TryReserveError>

ToString::to_string, but without panic on OOM.

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> ErasedDestructor for T
where T: 'static,