[−][src]Crate chalk_solve
Re-exports
pub use clauses::program_clauses_for_env; |
Modules
clauses | |
coherence | |
ext | |
goal_builder | |
recursive | |
rust_ir | Contains the definition for the "Rust IR" -- this is basically a "lowered" version of the AST, roughly corresponding to [the HIR] in the Rust compiler. |
split | |
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. |
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 |