[][src]Crate chalk_solve

Modules

clauses
coherence
coinductive_goal
ext
infer
solve
wf

Structs

Solver

Finds the solution to "goals", or trait queries -- i.e., figures out what sets of types implement which traits. Also, between queries, this struct stores the cached state from previous solver attempts, which can then be re-used later.

TestSolver

Wrapper around a Solver that exposes additional methods meant only for testing.

Enums

Guidance

When a goal holds ambiguously (e.g., because there are multiple possible solutions), we issue a set of guidance back to type inference.

Solution

A (possible) solution for a proposed goal.

SolverChoice

Traits

RustIrDatabase