TcType

type TcType

type TcSigmaType

type TcRhoType

type TcTauType

type TcPredType

type TcThetaType

type TcTyVar

type TcTyVarSet

type TcKind

type TcCoVar

data UserTypeCtxt

pprUserTypeCtxt

data TcTyVarDetails

pprTcTyVarDetails

vanillaSkolemTv

superSkolemTv

data MetaDetails

data MetaInfo

isImmutableTyVar

isSkolemTyVar

isMetaTyVar

isMetaTyVarTy

isTyVarTy

isSigTyVar

isOverlappableTyVar

isTyConableTyVar

isAmbiguousTyVar

metaTvRef

isFlexi

isIndirect

isRuntimeUnkSkol

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

tcDeepSplitSigmaTy_maybe

eqType

eqTypes

eqPred

cmpType

cmpTypes

cmpPred

eqTypeX

eqKind

isSigmaTy

isOverloadedTy

isDoubleTy

isFloatTy

isIntTy

isWordTy

isStringTy

isIntegerTy

isBoolTy

isUnitTy

isCharTy

isTauTy

isTauTyCon

tcIsTyVarTy

tcIsForAllTy

isSynFamilyTyConApp

isPredTy

isTyVarClassPred

shallowPredTypePredTree

deNoteType

orphNamesOfType

orphNamesOfDFunHead

orphNamesOfCo

getDFunTyKey

evVarPred_maybe

evVarPred

mkMinimalBySCs

transSuperClasses

immSuperClasses

Finding type instances

tcTyFamInsts

Finding exact (non-dead) type variables

exactTyVarsOfType

exactTyVarsOfTypes

Tidying type related things up for printing

tidyType

tidyTypes

tidyOpenType

tidyOpenTypes

tidyOpenKind

tidyTyVarBndr

tidyFreeTyVars

tidyOpenTyVar

tidyOpenTyVars

tidyTopType

tidyKind

tidyCo

tidyCos

isFFIArgumentTy

isFFIImportResultTy

isFFIExportResultTy

isFFIExternalTy

isFFIDynArgumentTy

isFFIDynResultTy

isFFIPrimArgumentTy

isFFIPrimResultTy

isFFILabelTy

isFFIDotnetTy

isFFIDotnetObjTy

isFFITy

isFunPtrTy

tcSplitIOType_maybe

type Kind

typeKind

unliftedTypeKind

liftedTypeKind

argTypeKind

openTypeKind

constraintKind

mkArrowKind

mkArrowKinds

isLiftedTypeKind

isUnliftedTypeKind

isSubOpenTypeKind

isSubArgTypeKind

isSubKind

splitKindFunTys

defaultKind

mkMetaKindVar

data Type

type PredType

type ThetaType

mkForAllTy

mkForAllTys

mkFunTy

mkFunTys

zipFunTys

mkTyConApp

mkAppTy

mkAppTys

applyTy

applyTys

mkTyVarTy

mkTyVarTys

mkTyConTy

isClassPred

isEqPred

isIPPred

mkClassPred

mkIPPred

isDictLikeTy

tcSplitDFunTy

tcSplitDFunHead

mkEqPred

data TvSubst

type TvSubstEnv

emptyTvSubst

mkOpenTvSubst

zipOpenTvSubst

zipTopTvSubst

mkTopTvSubst

notElemTvSubst

unionTvSubst

getTvSubstEnv

setTvSubstEnv

getTvInScope

extendTvInScope

lookupTyVar

extendTvSubst

substTyVarBndr

extendTvSubstList

isInScope

mkTvSubst

zipTyEnv

substTy

substTys

substTyWith

substTheta

substTyVar

substTyVars

isUnLiftedType

isUnboxedTupleType

isPrimitiveType

tyVarsOfType

tyVarsOfTypes

tcTyVarsOfType

tcTyVarsOfTypes

pprKind

pprParendKind

pprType

pprParendType

pprTypeApp

pprTyThingCategory

pprTheta

pprThetaArrowTy

pprClassPred