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

isSigTyVar

isOverlappableTyVar

isTyConableTyVar

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

tcEqType

tcEqTypes

tcEqPred

tcCmpType

tcCmpTypes

tcCmpPred

tcEqTypeX

eqKind

isSigmaTy

isOverloadedTy

isDoubleTy

isFloatTy

isIntTy

isWordTy

isStringTy

isIntegerTy

isBoolTy

isUnitTy

isCharTy

isTauTy

isTauTyCon

tcIsTyVarTy

tcIsForAllTy

isSynFamilyTyConApp

deNoteType

orphNamesOfType

orphNamesOfDFunHead

getDFunTyKey

getClassPredTys_maybe

getClassPredTys

isClassPred

isTyVarClassPred

isEqPred

mkClassPred

mkIPPred

tcSplitPredTy_maybe

mkDictTy

evVarPred

isPredTy

isDictTy

isDictLikeTy

tcSplitDFunTy

tcSplitDFunHead

predTyUnique

isIPPred

mkMinimalBySCs

transSuperClasses

immSuperClasses

Tidying type related things up for printing

tidyType

tidyTypes

tidyOpenType

tidyOpenTypes

tidyTyVarBndr

tidyFreeTyVars

tidyOpenTyVar

tidyOpenTyVars

tidyTopType

tidyPred

tidyKind

isFFIArgumentTy

isFFIImportResultTy

isFFIExportResultTy

isFFIExternalTy

isFFIDynArgumentTy

isFFIDynResultTy

isFFIPrimArgumentTy

isFFIPrimResultTy

isFFILabelTy

isFFIDotnetTy

isFFIDotnetObjTy

isFFITy

isFunPtrTy

tcSplitIOType_maybe

typeKind

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

unionTvSubst

getTvSubstEnv

setTvSubstEnv

getTvInScope

extendTvInScope

lookupTyVar

extendTvSubst

extendTvSubstList

isInScope

mkTvSubst

zipTyEnv

substTy

substTys

substTyWith

substTheta

substTyVar

substTyVars

substTyVarBndr

isUnLiftedType

isUnboxedTupleType

isPrimitiveType

tyVarsOfType

tyVarsOfTypes

tyVarsOfPred

tyVarsOfTheta

tcTyVarsOfType

tcTyVarsOfTypes

tcTyVarsOfPred

exactTyVarsOfType

exactTyVarsOfTypes

pprKind

pprParendKind

pprType

pprParendType

pprTypeApp

pprTyThingCategory

pprPred

pprTheta

pprThetaArrow

pprClassPred