Module term

I define how RDF terms (such as IRIs, blank nodes and literals) are represented in Sophia.

I provide the main trait Term, and a number of auxiliary types and traits, such as TermKind, FromTerm…

Re-exports

• pub use bnode_id::BnodeId;
• pub use language_tag::LanguageTag;
• pub use var_name::VarName;

Modules

• bnode_id
  I define the BnodeId wrapper type, which guarantees that the underlying str satisfies the BLANK_NODE_LABEL rule in Turtle (without the leading _:).
• language_tag
  I define the LanguageTag wrapper type, which guarantees that the underlying str is a valid BCP47 language tag.
• matcher
  I define generic traits and default implementations for matchers, objects that can be used to match zero, one or several terms.
• var_name
  I define the VarName wrapper type, which guarantees that the underlying str satisfies the VARNAME rule in SPARQL.

Structs

• CmpTerm
  A wrapper for any term type that ensures comparability

Enums

• SimpleTerm
  A straighforward implementation of Term as an enum.
• TermKind
  The different kinds of terms that a Term can represent.

Traits

• FromTerm
  A type that can be built from any term.
• Term
  A generalized RDF term.
• TryFromTerm
  A type that can be built from some terms.

Functions

• assert_consistent_term_impl
  Test that the given term is consistent in its implementation of the Term trait.
• graph_name_eq
  Determines if two GraphNames represent the same RDF term.

Type Aliases

• GraphName
  A GraphName is an optional Term, used to name a graph in an RDF dataset.
• IriRef
  This type is aliased from sophia_iri for convenience, as it is required to implement Term.