Documentation

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

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

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

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

emitWanted :: CtOrigin -> TcPredType -> TcM EvVarSource

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

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

mkOverLit :: OverLitVal -> TcM HsLitSource

tcGetInstEnvs :: TcM (InstEnv, InstEnv)Source

getOverlapFlag :: TcM OverlapFlagSource

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

instCallConstraints :: CtOrigin -> TcThetaType -> TcM HsWrapperSource

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

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

hasEqualities :: [EvVar] -> BoolSource

unitImplication :: Implication -> Bag ImplicationSource

tyVarsOfWC :: WantedConstraints -> TyVarSetSource

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

tyVarsOfEvVarXs :: Bag (EvVarX a) -> TyVarSetSource

tyVarsOfEvVarX :: EvVarX a -> TyVarSetSource

tyVarsOfEvVar :: EvVar -> TyVarSetSource

tyVarsOfEvVars :: [EvVar] -> TyVarSetSource

tyVarsOfImplication :: Implication -> TyVarSetSource

tidyWantedEvVar :: TidyEnv -> WantedEvVar -> WantedEvVarSource

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

tidyWC :: TidyEnv -> WantedConstraints -> WantedConstraintsSource

tidyEvVar :: TidyEnv -> EvVar -> EvVarSource

tidyImplication :: TidyEnv -> Implication -> ImplicationSource

tidyFlavoredEvVar :: TidyEnv -> FlavoredEvVar -> FlavoredEvVarSource

substWantedEvVar :: TvSubst -> WantedEvVar -> WantedEvVarSource

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

substFlavoredEvVar :: TvSubst -> FlavoredEvVar -> FlavoredEvVarSource

substEvVar :: TvSubst -> EvVar -> EvVarSource

substImplication :: TvSubst -> Implication -> ImplicationSource