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

Safe Haskell	None
Language	Haskell2010

GHC.Corroborate.Wrap

Documentation

newUnique :: TcPluginM Unique #

newWantedCt :: CtLoc -> PredType -> TcPluginM Ct Source #

newGivenCt :: CtLoc -> PredType -> EvTerm -> TcPluginM Ct Source #