ghc-6.12.3: The GHC API Source code Contents Index

TcMType

Documentation

type TcTyVar = TyVar Source

type TcKind = Kind Source

type TcType = Type Source

type TcTauType = TcType Source

type TcThetaType = ThetaType Source

type TcTyVarSet = TyVarSet Source

newFlexiTyVar :: Kind -> TcM TcTyVar Source

newFlexiTyVarTy :: Kind -> TcM TcType Source

newFlexiTyVarTys :: Int -> Kind -> TcM [TcType] Source

newKindVar :: TcM TcKind Source

newKindVars :: Int -> TcM [TcKind] Source

lookupTcTyVar :: TcTyVar -> TcM LookupTyVarResult Source

data LookupTyVarResult Source

Constructors DoneTv TcTyVarDetails IndirectTv TcType

newMetaTyVar :: BoxInfo -> Kind -> TcM TcTyVar Source

readMetaTyVar :: TyVar -> TcM MetaDetails Source

writeMetaTyVar :: TcTyVar -> TcType -> TcM () Source

isFilledMetaTyVar :: TyVar -> TcM Bool Source

newBoxyTyVar :: Kind -> TcM BoxyTyVar Source

newBoxyTyVars :: [Kind] -> TcM [BoxyTyVar] Source

newBoxyTyVarTys :: [Kind] -> TcM [BoxyType] Source

readFilledBox :: BoxyTyVar -> TcM TcType Source

newCoVars :: [(TcType, TcType)] -> TcM [CoVar] Source

newMetaCoVar :: TcType -> TcType -> TcM TcTyVar Source

tcInstTyVar :: TyVar -> TcM TcTyVar Source

tcInstType :: ([TyVar] -> TcM [TcTyVar]) -> TcType -> TcM ([TcTyVar], TcThetaType, TcType) Source

tcInstTyVars :: [TyVar] -> TcM ([TcTyVar], [TcType], TvSubst) Source

tcInstBoxyTyVar :: TyVar -> TcM BoxyTyVar Source

tcInstSigType :: Bool -> SkolemInfo -> TcType -> TcM ([TcTyVar], TcThetaType, TcRhoType) Source

tcInstSkolTyVars :: SkolemInfo -> [TyVar] -> TcM [TcTyVar] Source

tcInstSkolType :: SkolemInfo -> TcType -> TcM ([TcTyVar], TcThetaType, TcType) Source

tcSkolSigType :: SkolemInfo -> Type -> TcM ([TcTyVar], TcThetaType, TcType) Source

tcSkolSigTyVars :: SkolemInfo -> [TyVar] -> [TcTyVar] Source

occurCheckErr :: TcType -> TcType -> TcM a Source

execTcTyVarBinds :: TcTyVarBinds -> TcM () Source

data Rank Source

data UserTypeCtxt Source

Constructors FunSigCtxt Name ExprSigCtxt ConArgCtxt Name TySynCtxt Name GenPatCtxt LamPatSigCtxt BindPatSigCtxt ResSigCtxt ForSigCtxt Name DefaultDeclCtxt SpecInstCtxt ThBrackCtxt

checkValidType :: UserTypeCtxt -> Type -> TcM () Source

checkValidMonoType :: Type -> TcM () Source

data SourceTyCtxt Source

Constructors ClassSCCtxt Name SigmaCtxt DataTyCtxt Name TypeCtxt InstThetaCtxt

checkValidTheta :: SourceTyCtxt -> ThetaType -> TcM () Source

checkFreeness :: [Var] -> [PredType] -> TcM () Source

checkValidInstHead :: Type -> TcM (Class, [TcType]) Source

checkValidInstance :: [TyVar] -> ThetaType -> Class -> [TcType] -> TcM () Source

checkInstTermination :: [TcType] -> ThetaType -> [Message] Source

checkValidTypeInst :: [Type] -> Type -> TcM () Source

checkTyFamFreeness :: Type -> TcM () Source

checkKinds :: Bool -> TyVar -> Type -> TcM () Source

checkUpdateMeta :: SwapFlag -> TcTyVar -> IORef MetaDetails -> TcType -> TcM () Source

updateMeta :: TcTyVar -> IORef MetaDetails -> TcType -> TcM () Source

checkTauTvUpdate :: TcTyVar -> TcType -> TcM (Maybe TcType) Source

fillBoxWithTau :: BoxyTyVar -> IORef MetaDetails -> TcM TcType Source

unifyKindCtxt :: Bool -> TyVar -> Type -> TidyEnv -> TcM (TidyEnv, SDoc) Source

unifyKindMisMatch :: TcKind -> TcKind -> TcM () Source

validDerivPred :: PredType -> Bool Source

arityErr :: Outputable a => String -> a -> Int -> Int -> SDoc Source

notMonoType :: TcType -> TcM a Source

notMonoArgs :: TcType -> TcM a Source

growPredTyVars :: TcPredType -> TyVarSet -> TyVarSet Source

growTyVars :: TyVarSet -> TyVarSet -> TyVarSet Source

growThetaTyVars :: TcThetaType -> TyVarSet -> TyVarSet Source

zonkType :: (TcTyVar -> TcM Type) -> TcType -> TcM Type Source

zonkTcPredType :: TcPredType -> TcM TcPredType Source

zonkTcTyVar :: TcTyVar -> TcM TcType Source

zonkTcTyVars :: [TcTyVar] -> TcM [TcType] Source

zonkTcTyVarsAndFV :: [TcTyVar] -> TcM TcTyVarSet Source

zonkSigTyVar :: TcTyVar -> TcM TcTyVar Source

zonkQuantifiedTyVar :: TcTyVar -> TcM TcTyVar Source

zonkQuantifiedTyVars :: [TcTyVar] -> TcM [TcTyVar] Source

zonkTcType :: TcType -> TcM TcType Source

zonkTcTypes :: [TcType] -> TcM [TcType] Source

zonkTcThetaType :: TcThetaType -> TcM TcThetaType Source

zonkTcKindToKind :: TcKind -> TcM Kind Source

zonkTcKind :: TcKind -> TcM TcKind Source

zonkTopTyVar :: TcTyVar -> TcM TcTyVar Source

readKindVar :: KindVar -> TcM MetaDetails Source

writeKindVar :: KindVar -> TcKind -> TcM () Source

Produced by Haddock version 2.6.1