ghc-8.0.0.20160204: The GHC API

Safe HaskellNone
LanguageHaskell2010

Inst

Synopsis

Documentation

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

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

Instantiate all outer type variables and any context. Never looks through arrows.

topInstantiateInferred :: CtOrigin -> TcSigmaType -> TcM (HsWrapper, TcSigmaType) Source

Instantiate all outer Invisible binders and any context. Never looks through arrows or specified type variables. Used for visible type application.

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

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

instDFunType :: DFunId -> [DFunInstType] -> TcM ([TcType], TcThetaType) Source

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

newWanted :: CtOrigin -> Maybe TypeOrKind -> PredType -> TcM CtEvidence Source

newWanteds :: CtOrigin -> ThetaType -> TcM [CtEvidence] Source

newOverloadedLit :: HsOverLit Name -> ExpRhoType -> TcM (HsOverLit TcId) Source

mkOverLit :: OverLitVal -> TcM HsLit Source

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

tcGetInsts :: TcM [ClsInst] Source

tcGetInstEnvs :: TcM InstEnvs Source

getOverlapFlag :: Maybe OverlapMode -> 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

tyCoVarsOfWC :: WantedConstraints -> TyCoVarSet Source

tyCoVarsOfCt :: Ct -> TcTyCoVarSet Source

Returns free variables of constraints as a non-deterministic set

tyCoVarsOfCts :: Cts -> TcTyCoVarSet Source

Returns free variables of a bag of constraints as a non-deterministic set. See Note [Deterministic FV] in FV.