ghc-7.0.3: The GHC API

Inst

# 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

tcGetInstEnvs :: TcM (InstEnv, InstEnv)Source

getOverlapFlag :: TcM OverlapFlag Source

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

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

hasEqualities :: [EvVar] -> Bool Source

unitImplication :: Implication -> Bag Implication Source

tyVarsOfWC :: WantedConstraints -> TyVarSet Source

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

tyVarsOfEvVarXs :: Bag (EvVarX a) -> TyVarSet Source

tyVarsOfEvVarX :: EvVarX a -> TyVarSet Source

tyVarsOfEvVar :: EvVar -> TyVarSet Source

tyVarsOfEvVars :: [EvVar] -> TyVarSet Source

tyVarsOfImplication :: Implication -> TyVarSet Source

tidyWantedEvVar :: TidyEnv -> WantedEvVar -> WantedEvVar Source

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

tidyWC :: TidyEnv -> WantedConstraints -> WantedConstraints Source

tidyEvVar :: TidyEnv -> EvVar -> EvVar Source

tidyImplication :: TidyEnv -> Implication -> Implication Source

tidyFlavoredEvVar :: TidyEnv -> FlavoredEvVar -> FlavoredEvVar Source

substWantedEvVar :: TvSubst -> WantedEvVar -> WantedEvVar Source

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

substFlavoredEvVar :: TvSubst -> FlavoredEvVar -> FlavoredEvVar Source

substEvVar :: TvSubst -> EvVar -> EvVar Source

substImplication :: TvSubst -> Implication -> Implication Source