Documentation

deeplySkolemise :: TcSigmaType -> TcM (HsWrapper, [TyVar], [EvVar], TcRhoType)

deeplyInstantiate :: CtOrigin -> TcSigmaType -> TcM (HsWrapper, TcRhoType)

instCall :: CtOrigin -> [TcType] -> TcThetaType -> TcM HsWrapper

instStupidTheta :: CtOrigin -> TcThetaType -> TcM ()

emitWanted :: CtOrigin -> TcPredType -> TcM EvVar

emitWanteds :: CtOrigin -> TcThetaType -> TcM [EvVar]

newOverloadedLit :: CtOrigin -> HsOverLit Name -> TcRhoType -> TcM (HsOverLit TcId)

mkOverLit :: OverLitVal -> TcM HsLit

tcGetInstEnvs :: TcM (InstEnv, InstEnv)

getOverlapFlag :: TcM OverlapFlag

tcExtendLocalInstEnv :: [Instance] -> TcM a -> TcM a

instCallConstraints :: CtOrigin -> TcThetaType -> TcM HsWrapper

newMethodFromName :: CtOrigin -> Name -> TcRhoType -> TcM (HsExpr TcId)

tcSyntaxName :: CtOrigin -> TcType -> (Name, HsExpr Name) -> TcM (Name, HsExpr TcId)

hasEqualities :: [EvVar] -> Bool

unitImplication :: Implication -> Bag Implication

tyVarsOfWC :: WantedConstraints -> TyVarSet

tyVarsOfBag :: (a -> TyVarSet) -> Bag a -> TyVarSet

tyVarsOfEvVarXs :: Bag (EvVarX a) -> TyVarSet

tyVarsOfEvVarX :: EvVarX a -> TyVarSet

tyVarsOfEvVar :: EvVar -> TyVarSet

tyVarsOfEvVars :: [EvVar] -> TyVarSet

tyVarsOfImplication :: Implication -> TyVarSet

tidyWantedEvVar :: TidyEnv -> WantedEvVar -> WantedEvVar

tidyWantedEvVars :: TidyEnv -> Bag WantedEvVar -> Bag WantedEvVar

tidyWC :: TidyEnv -> WantedConstraints -> WantedConstraints

tidyEvVar :: TidyEnv -> EvVar -> EvVar

tidyImplication :: TidyEnv -> Implication -> Implication

tidyFlavoredEvVar :: TidyEnv -> FlavoredEvVar -> FlavoredEvVar

substWantedEvVar :: TvSubst -> WantedEvVar -> WantedEvVar

substWantedEvVars :: TvSubst -> Bag WantedEvVar -> Bag WantedEvVar

substFlavoredEvVar :: TvSubst -> FlavoredEvVar -> FlavoredEvVar

substEvVar :: TvSubst -> EvVar -> EvVar

substImplication :: TvSubst -> Implication -> Implication