TcType
type
TcType
type
TcSigmaType
type
TcRhoType
type
TcTauType
type
TcPredType
type
TcThetaType
type
TcTyVar
type
TcTyVarSet
type
TcKind
type
BoxyTyVar
type
BoxySigmaType
type
BoxyRhoType
type
BoxyThetaType
type
BoxyType
data
UserTypeCtxt
pprUserTypeCtxt
data
TcTyVarDetails
data
BoxInfo
pprTcTyVarDetails
data
MetaDetails
data
SkolemInfo
pprSkolTvBinding
pprSkolInfo
isImmutableTyVar
isSkolemTyVar
isMetaTyVar
isBoxyTyVar
isSigTyVar
isExistentialTyVar
isTyConableTyVar
metaTvRef
isFlexi
isIndirect
isRuntimeUnk
isUnk
mkPhiTy
mkSigmaTy
tcView
tcSplitForAllTys
tcSplitPhiTy
tcSplitPredFunTy_maybe
tcSplitFunTy_maybe
tcSplitFunTys
tcFunArgTy
tcFunResultTy
tcSplitFunTysN
tcSplitTyConApp
tcSplitTyConApp_maybe
tcTyConAppTyCon
tcTyConAppArgs
tcSplitAppTy_maybe
tcSplitAppTy
tcSplitAppTys
repSplitAppTy_maybe
tcInstHeadTyNotSynonym
tcInstHeadTyAppAllTyVars
tcGetTyVar_maybe
tcGetTyVar
tcSplitSigmaTy
tcMultiSplitSigmaTy
tcEqType
tcEqTypes
tcEqPred
tcCmpType
tcCmpTypes
tcCmpPred
tcEqTypeX
eqKind
isSigmaTy
isOverloadedTy
isRigidTy
isBoxyTy
isDoubleTy
isFloatTy
isIntTy
isWordTy
isStringTy
isIntegerTy
isBoolTy
isUnitTy
isCharTy
isTauTy
isTauTyCon
tcIsTyVarTy
tcIsForAllTy
isOpenSynTyConApp
deNoteType
tyClsNamesOfType
tyClsNamesOfDFunHead
getDFunTyKey
getClassPredTys_maybe
getClassPredTys
isClassPred
isTyVarClassPred
isEqPred
mkDictTy
tcSplitPredTy_maybe
isPredTy
isDictTy
isDictLikeTy
tcSplitDFunTy
tcSplitDFunHead
predTyUnique
mkClassPred
isInheritablePred
isIPPred
isRefineableTy
isRefineablePred
isFFIArgumentTy
isFFIImportResultTy
isFFIExportResultTy
isFFIExternalTy
isFFIDynArgumentTy
isFFIDynResultTy
isFFIPrimArgumentTy
isFFIPrimResultTy
isFFILabelTy
isFFIDotnetTy
isFFIDotnetObjTy
isFFITy
isFunPtrTy
tcSplitIOType_maybe
type
Kind
unliftedTypeKind
liftedTypeKind
argTypeKind
openTypeKind
mkArrowKind
mkArrowKinds
isLiftedTypeKind
isUnliftedTypeKind
isSubOpenTypeKind
isSubArgTypeKind
isSubKind
splitKindFunTys
defaultKind
kindVarRef
mkKindVar
data
Type
data
PredType
type
ThetaType
mkForAllTy
mkForAllTys
mkFunTy
mkFunTys
zipFunTys
mkTyConApp
mkAppTy
mkAppTys
applyTy
applyTys
mkTyVarTy
mkTyVarTys
mkTyConTy
mkPredTy
mkPredTys
data
TvSubst
type
TvSubstEnv
emptyTvSubst
substEqSpec
mkOpenTvSubst
zipOpenTvSubst
zipTopTvSubst
mkTopTvSubst
notElemTvSubst
getTvSubstEnv
setTvSubstEnv
getTvInScope
extendTvInScope
lookupTyVar
extendTvSubst
extendTvSubstList
isInScope
mkTvSubst
zipTyEnv
substTy
substTys
substTyWith
substTheta
substTyVar
substTyVars
substTyVarBndr
isUnLiftedType
isUnboxedTupleType
isPrimitiveType
tidyTopType
tidyType
tidyPred
tidyTypes
tidyFreeTyVars
tidyOpenType
tidyOpenTypes
tidyTyVarBndr
tidyOpenTyVar
tidyOpenTyVars
tidySkolemTyVar
typeKind
tidyKind
tyVarsOfType
tyVarsOfTypes
tyVarsOfPred
tyVarsOfTheta
tcTyVarsOfType
tcTyVarsOfTypes
tcTyVarsOfPred
exactTyVarsOfType
exactTyVarsOfTypes
pprKind
pprParendKind
pprType
pprParendType
pprTypeApp
pprTyThingCategory
pprPred
pprTheta
pprThetaArrow
pprClassPred