| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.Corroborate.Constraint
Documentation
newGiven :: CtLoc -> PredType -> EvTerm -> TcPluginM CtEvidence Source #
Create a new [G]iven constraint, with the supplied evidence. This must not
be invoked from tcPluginInit or tcPluginStop, or it will panic.