ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

Inst

# 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

newClsInst :: Maybe OverlapMode -> Name -> [TyVar] -> ThetaType -> Class -> [Type] -> TcM ClsInst

tcGetInsts :: TcM [ClsInst]

tcGetInstEnvs :: TcM InstEnvs

getOverlapFlag :: Maybe OverlapMode -> TcM OverlapFlag

tcExtendLocalInstEnv :: [ClsInst] -> 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)

tyVarsOfWC :: WantedConstraints -> TyVarSet

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

tyVarsOfCt :: Ct -> TcTyVarSet

tyVarsOfCts :: Cts -> TcTyVarSet