chalk_integration
0.97.0-dev.0
Module query
Structs
Traits
Functions
In crate chalk_integration
?
Module
chalk_integration
::
query
source
·
[
−
]
Structs
§
ArcEq
CheckedProgramQuery
CoherenceQuery
EnvironmentQuery
Lowering
Representative struct for the query group.
LoweringDatabaseGroupStorage__
OrphanCheckQuery
ProgramIrQuery
ProgramTextQuery
SolverChoiceQuery
SolverQuery
Traits
§
LoweringDatabase
Upcast
UpcastFrom
Functions
§
checked_program
🔒
coherence
🔒
environment
🔒
orphan_check
🔒
program_ir
🔒
solver
🔒