ghc-6.12.2: The GHC APISource codeContentsIndex
TcMType
Documentation
type TcTyVar = TyVarSource
type TcKind = KindSource
type TcType = TypeSource
type TcTauType = TcTypeSource
type TcThetaType = ThetaTypeSource
type TcTyVarSet = TyVarSetSource
newFlexiTyVar :: Kind -> TcM TcTyVarSource
newFlexiTyVarTy :: Kind -> TcM TcTypeSource
newFlexiTyVarTys :: Int -> Kind -> TcM [TcType]Source
newKindVar :: TcM TcKindSource
newKindVars :: Int -> TcM [TcKind]Source
lookupTcTyVar :: TcTyVar -> TcM LookupTyVarResultSource
data LookupTyVarResult Source
Constructors
DoneTv TcTyVarDetails
IndirectTv TcType
newMetaTyVar :: BoxInfo -> Kind -> TcM TcTyVarSource
readMetaTyVar :: TyVar -> TcM MetaDetailsSource
writeMetaTyVar :: TcTyVar -> TcType -> TcM ()Source
isFilledMetaTyVar :: TyVar -> TcM BoolSource
newBoxyTyVar :: Kind -> TcM BoxyTyVarSource
newBoxyTyVars :: [Kind] -> TcM [BoxyTyVar]Source
newBoxyTyVarTys :: [Kind] -> TcM [BoxyType]Source
readFilledBox :: BoxyTyVar -> TcM TcTypeSource
newCoVars :: [(TcType, TcType)] -> TcM [CoVar]Source
newMetaCoVar :: TcType -> TcType -> TcM TcTyVarSource
tcInstTyVar :: TyVar -> TcM TcTyVarSource
tcInstType :: ([TyVar] -> TcM [TcTyVar]) -> TcType -> TcM ([TcTyVar], TcThetaType, TcType)Source
tcInstTyVars :: [TyVar] -> TcM ([TcTyVar], [TcType], TvSubst)Source
tcInstBoxyTyVar :: TyVar -> TcM BoxyTyVarSource
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 aSource
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 TcTypeSource
unifyKindCtxt :: Bool -> TyVar -> Type -> TidyEnv -> TcM (TidyEnv, SDoc)Source
unifyKindMisMatch :: TcKind -> TcKind -> TcM ()Source
validDerivPred :: PredType -> BoolSource
arityErr :: Outputable a => String -> a -> Int -> Int -> SDocSource
notMonoType :: TcType -> TcM aSource
notMonoArgs :: TcType -> TcM aSource
growPredTyVars :: TcPredType -> TyVarSet -> TyVarSetSource
growTyVars :: TyVarSet -> TyVarSet -> TyVarSetSource
growThetaTyVars :: TcThetaType -> TyVarSet -> TyVarSetSource
zonkType :: (TcTyVar -> TcM Type) -> TcType -> TcM TypeSource
zonkTcPredType :: TcPredType -> TcM TcPredTypeSource
zonkTcTyVar :: TcTyVar -> TcM TcTypeSource
zonkTcTyVars :: [TcTyVar] -> TcM [TcType]Source
zonkTcTyVarsAndFV :: [TcTyVar] -> TcM TcTyVarSetSource
zonkSigTyVar :: TcTyVar -> TcM TcTyVarSource
zonkQuantifiedTyVar :: TcTyVar -> TcM TcTyVarSource
zonkQuantifiedTyVars :: [TcTyVar] -> TcM [TcTyVar]Source
zonkTcType :: TcType -> TcM TcTypeSource
zonkTcTypes :: [TcType] -> TcM [TcType]Source
zonkTcThetaType :: TcThetaType -> TcM TcThetaTypeSource
zonkTcKindToKind :: TcKind -> TcM KindSource
zonkTcKind :: TcKind -> TcM TcKindSource
zonkTopTyVar :: TcTyVar -> TcM TcTyVarSource
readKindVar :: KindVar -> TcM MetaDetailsSource
writeKindVar :: KindVar -> TcKind -> TcM ()Source
Produced by Haddock version 2.6.1