Documentation

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

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

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

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

emitWanted :: CtOrigin -> TcPredType -> TcM EvVar Source

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

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

mkOverLit :: OverLitVal -> TcM HsLit Source

tcGetInsts :: TcM [ClsInst] Source

tcGetInstEnvs :: TcM (InstEnv, InstEnv) Source

getOverlapFlag :: TcM OverlapFlag Source

tcExtendLocalInstEnv :: [ClsInst] -> TcM a -> TcM a Source

instCallConstraints :: CtOrigin -> TcThetaType -> TcM HsWrapper Source

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

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

tyVarsOfWC :: WantedConstraints -> TyVarSet Source

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

tyVarsOfCt :: Ct -> TcTyVarSet Source

tyVarsOfCts :: Cts -> TcTyVarSet Source

tidyEvVar :: TidyEnv -> EvVar -> EvVar Source

tidyCt :: TidyEnv -> Ct -> Ct Source

tidySkolemInfo :: TidyEnv -> SkolemInfo -> (TidyEnv, SkolemInfo) Source