Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 EvVar Source
emitWanteds :: CtOrigin -> TcThetaType -> TcM [EvVar] Source
mkOverLit :: OverLitVal -> TcM HsLit Source
newClsInst :: Maybe OverlapMode -> Name -> [TyVar] -> ThetaType -> Class -> [Type] -> TcM ClsInst Source
tcGetInsts :: TcM [ClsInst] Source
tcExtendLocalInstEnv :: [ClsInst] -> TcM a -> TcM a Source
instCallConstraints :: CtOrigin -> TcThetaType -> TcM HsWrapper Source
tyVarsOfBag :: (a -> TyVarSet) -> Bag a -> TyVarSet Source
tyVarsOfCt :: Ct -> TcTyVarSet Source
tyVarsOfCts :: Cts -> TcTyVarSet Source