Documentation
deeplySkolemise :: TcSigmaType -> TcM (HsWrapper, [TyVar], [EvVar], TcRhoType)Source
deeplyInstantiate :: CtOrigin -> TcSigmaType -> TcM (HsWrapper, TcRhoType)Source
instStupidTheta :: CtOrigin -> TcThetaType -> TcM ()Source
emitWanted :: CtOrigin -> TcPredType -> TcM EvVarSource
emitWanteds :: CtOrigin -> TcThetaType -> TcM [EvVar]Source
mkOverLit :: OverLitVal -> TcM HsLitSource
tcGetInstEnvs :: TcM (InstEnv, InstEnv)Source
tcExtendLocalInstEnv :: [Instance] -> TcM a -> TcM aSource
hasEqualities :: [EvVar] -> BoolSource
tyVarsOfBag :: (a -> TyVarSet) -> Bag a -> TyVarSetSource
tyVarsOfEvVarXs :: Bag (EvVarX a) -> TyVarSetSource
tyVarsOfEvVarX :: EvVarX a -> TyVarSetSource
tyVarsOfEvVar :: EvVar -> TyVarSetSource
tyVarsOfEvVars :: [EvVar] -> TyVarSetSource
substEvVar :: TvSubst -> EvVar -> EvVarSource