Crate sophia_term

I define implementations of sophia_api::term::Term as well as associated types.

Structs

• GenericLiteralError
  Error raised when trying to convert another kind of term to GenericLiteral
• GenericStash
  A stash is a collection of strings that can be reused to avoid allocating identical string multiple times.

Enums

• GenericLiteral
  This type is mostly required as one of the variants of GenericTerm.
• GenericTerm
  A generic implementation of Term.

Type Aliases

• ArcStrStash
  A stash for generating ArcTerms (with copy_term) or any Arc<str>.
• ArcTerm
  A Term implementation using Arc<str> as the underlying text, making it cheap to clone and thread-safe.
• RcStrStash
  A stash for generating RcTerms (with copy_term) or any Rc<str>.
• RcTerm
  A Term implementation using Rc<str> as the underlying text, making it cheap to clone.