GHC.TcPluginM.Extra

Create new constraints

newWanted

newGiven

newDerived

newWantedWithProvenance

Creating evidence

evByFiat

Report contractions

failWithProvenace

Lookup

lookupModule

lookupName

Trace state of the plugin

tracePlugin