Crate sophia_term

Crate sophia_term 

Source
Expand description

I define implementations of sophia_api::term::Term:

Structs§

ArcStrStash
A stash is a collection of strings that can be reused for generating ArcTerm without reallocating identical strings multiple times, using the copy_term method.
GenericLiteralError
Error raised when trying to convert another kind of term to GenericLiteral
RcStrStash
A stash is a collection of strings that can be reused for generating RcTerm without reallocating identical strings multiple times, using the copy_term method.

Enums§

ArcTerm
An implementation of Term using std::sync::Arc under the hood.
GenericLiteral
This type is used in the Literal variant of ArcTerm and RcTerm.
RcTerm
An implementation of Term using std::rc::Rc under the hood.