TcType

type TcType

type TcSigmaType

type TcRhoType

type TcTauType

type TcPredType

type TcThetaType

type TcTyVar

type TcTyVarSet

type TcKind

type TcCoVar

data TcLevel

topTcLevel

pushTcLevel

strictlyDeeperThan

sameDepthAs

fskTcLevel

data UserTypeCtxt

pprUserTypeCtxt

pprSigCtxt

data TcTyVarDetails

pprTcTyVarDetails

vanillaSkolemTv

superSkolemTv

data MetaDetails

data MetaInfo

isImmutableTyVar

isSkolemTyVar

isMetaTyVar

isMetaTyVarTy

isTyVarTy

isSigTyVar

isOverlappableTyVar

isTyConableTyVar

isFskTyVar

isFmvTyVar

isFlattenTyVar

isReturnTyVar

isAmbiguousTyVar

metaTvRef

metaTyVarInfo

isFlexi

isIndirect

isRuntimeUnkSkol

isTypeVar

isKindVar

metaTyVarTcLevel

setMetaTyVarTcLevel

metaTyVarTcLevel_maybe

isTouchableMetaTyVar

isTouchableOrFmv

isFloatedTouchableMetaTyVar

canUnifyWithPolyType

mkPhiTy

mkSigmaTy

mkTcEqPred

mkTcReprEqPred

mkTcEqPredRole

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

nextRole

tcSplitSigmaTy

tcDeepSplitSigmaTy_maybe

eqType

eqTypes

eqPred

cmpType

cmpTypes

cmpPred

eqTypeX

pickyEqType

tcEqType

tcEqKind

isSigmaTy

isRhoTy

isOverloadedTy

isDoubleTy

isFloatTy

isIntTy

isWordTy

isStringTy

isIntegerTy

isBoolTy

isUnitTy

isCharTy

isTauTy

isTauTyCon

tcIsTyVarTy

tcIsForAllTy

isPredTy

isTyVarClassPred

isTyVarExposed

deNoteType

occurCheckExpand

data OccCheckResult a

orphNamesOfType

orphNamesOfDFunHead

orphNamesOfCo

orphNamesOfTypes

orphNamesOfCoCon

getDFunTyKey

evVarPred_maybe

evVarPred

mkMinimalBySCs

transSuperClasses

immSuperClasses

Finding type instances

tcTyFamInsts

Finding "exact" (non-dead) type variables

exactTyVarsOfType

exactTyVarsOfTypes

isFFIArgumentTy

isFFIImportResultTy

isFFIExportResultTy

isFFIExternalTy

isFFIDynTy

isFFIPrimArgumentTy

isFFIPrimResultTy

isFFILabelTy

isFFITy

isFunPtrTy

tcSplitIOType_maybe

type Kind

typeKind

unliftedTypeKind

liftedTypeKind

openTypeKind

constraintKind

mkArrowKind

mkArrowKinds

isLiftedTypeKind

isUnliftedTypeKind

isSubOpenTypeKind

tcIsSubKind

splitKindFunTys

defaultKind

data Type

type PredType

type ThetaType

mkForAllTy

mkForAllTys

mkFunTy

mkFunTys

zipFunTys

mkTyConApp

mkAppTy

mkAppTys

applyTy

applyTys

mkTyVarTy

mkTyVarTys

mkTyConTy

isClassPred

isEqPred

isIPPred

mkClassPred

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

closeOverKinds

tcTyVarsOfType

tcTyVarsOfTypes

pprKind

pprParendKind

pprSigmaType

pprType

pprParendType

pprTypeApp

pprTyThingCategory

pprTheta

pprThetaArrowTy

pprClassPred