Docs.rs
chalk-solve-0.10.0
chalk-solve 0.10.0
Docs.rs crate page
Apache-2.0/MIT
Links
Repository
Crates.io
Source
Owners
nikomatsakis
jackh726
github:rust-lang:wg-traits
rust-lang-chalk-publish-bot
Dependencies
chalk-derive ^0.10.0
normal
chalk-engine ^0.10.0
normal
chalk-ir ^0.10.0
normal
chalk-macros ^0.10.0
normal
chalk-rust-ir ^0.10.0
normal
ena ^0.13.0
normal
itertools ^0.9.0
normal
petgraph ^0.4.13
normal
rustc-hash ^1.0.0
normal
Versions
Go to latest version
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
All crates
[
−
]
List of all items
Structs
Solver
clauses::builder::ClauseBuilder
coherence::CoherenceSolver
coherence::SpecializationPriorities
coherence::SpecializationPriority
goal_builder::GoalBuilder
wf::WfSolver
Enums
Guidance
Solution
SolverChoice
coherence::CoherenceError
wf::WfError
Traits
RustIrDatabase
clauses::program_clauses::ToProgramClauses
ext::CanonicalExt
ext::GoalExt
split::Split
Functions
clauses::program_clauses_for_env
clauses::push_auto_trait_impls
coherence::orphan::perform_orphan_check