Module chalk_engine::context

Defines traits used to embed the chalk-engine in another crate.

chalk and rustc both define types which implement the traits in this module. This allows each user of chalk-engine to define their own DomainGoal type, add arena lifetime parameters, and more. See Context trait for a list of types.

Enums

AnswerResult

Traits

AnswerStream
Context	The "context" in which the SLG solver operates. It defines all the types that the SLG solver may need to refer to, as well as a few very simple interconversion methods.
ContextOps
InferenceTable	An "inference table" contains the state to support unification and other operations on terms.
ResolventOps
TruncateOps	"Truncation" (called "abstraction" in the papers referenced below) refers to the act of modifying a goal or answer that has become too large in order to guarantee termination.
UnificationOps	Methods for unifying and manipulating terms and binders.