ghc-corroborate-1.0.0: An flatter API for GHC typechecker plugins
Safe HaskellNone
LanguageHaskell2010

GHC.Corroborate.Constraint

Synopsis

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.