TcType

type TcType

type TcSigmaType

type TcRhoType

type TcTauType

type TcPredType

type TcThetaType

type TcTyVar

type TcTyVarSet

type TcDTyVarSet

type TcTyCoVarSet

type TcDTyCoVarSet

type TcKind

type TcCoVar

type TcTyCoVar

type TcTyBinder

type TcTyCon

tcSplitMethodTy

data ExpType

type ExpSigmaType

type ExpRhoType

mkCheckExpType

data SyntaxOpType

synKnownType

mkSynFunTys

data TcLevel

topTcLevel

pushTcLevel

isTopTcLevel

strictlyDeeperThan

sameDepthAs

fmvTcLevel

data UserTypeCtxt

pprUserTypeCtxt

pprSigCtxt

isSigMaybe

data TcTyVarDetails

pprTcTyVarDetails

vanillaSkolemTv

superSkolemTv

data MetaDetails

data MetaInfo

data TauTvFlavour

isImmutableTyVar

isSkolemTyVar

isMetaTyVar

isMetaTyVarTy

isTyVarTy

isSigTyVar

isOverlappableTyVar

isTyConableTyVar

isFskTyVar

isFmvTyVar

isFlattenTyVar

isAmbiguousTyVar

metaTvRef

metaTyVarInfo

isFlexi

isIndirect

isRuntimeUnkSkol

metaTyVarTcLevel

setMetaTyVarTcLevel

metaTyVarTcLevel_maybe

isTouchableMetaTyVar

isTouchableOrFmv

isFloatedTouchableMetaTyVar

canUnifyWithPolyType

mkPhiTy

mkInvSigmaTy

mkSpecSigmaTy

mkSigmaTy

mkNakedTyConApp

mkNakedAppTys

mkNakedAppTy

mkNakedCastTy

getTyVar

tcSplitForAllTy_maybe

tcSplitForAllTys

tcSplitPiTys

tcSplitNamedPiTys

tcSplitPhiTy

tcSplitPredFunTy_maybe

tcSplitFunTy_maybe

tcSplitFunTys

tcFunArgTy

tcFunResultTy

tcSplitFunTysN

tcSplitTyConApp

tcSplitTyConApp_maybe

tcRepSplitTyConApp_maybe

tcTyConAppTyCon

tcTyConAppArgs

tcSplitAppTy_maybe

tcSplitAppTy

tcSplitAppTys

tcRepSplitAppTy_maybe

tcGetTyVar_maybe

tcGetTyVar

nextRole

tcSplitSigmaTy

tcDeepSplitSigmaTy_maybe

eqType

eqTypes

cmpType

cmpTypes

eqTypeX

pickyEqType

tcEqType

tcEqKind

tcEqTypeNoKindCheck

tcEqTypeVis

isSigmaTy

isRhoTy

isRhoExpTy

isOverloadedTy

isFloatingTy

isDoubleTy

isFloatTy

isIntTy

isWordTy

isStringTy

isIntegerTy

isBoolTy

isUnitTy

isCharTy

isCallStackTy

isCallStackPred

isTauTy

isTauTyCon

tcIsTyVarTy

tcIsForAllTy

isPredTy

isTyVarClassPred

isTyVarExposed

isTyVarUnderDatatype

checkValidClsArgs

hasTyVarHead

isRigidEqPred

isRigidTy

deNoteType

occurCheckExpand

data OccCheckResult a

occCheckExpand

orphNamesOfType

orphNamesOfCo

orphNamesOfTypes

orphNamesOfCoCon

getDFunTyKey

evVarPred_maybe

evVarPred

mkMinimalBySCs

transSuperClasses

pickQuantifiablePreds

immSuperClasses

isImprovementPred

Finding type instances

tcTyFamInsts

Finding "exact" (non-dead) type variables

exactTyCoVarsOfType

exactTyCoVarsOfTypes

splitDepVarsOfType

splitDepVarsOfTypes

data TcDepVars

depVarsTyVars

Extracting bound variables

allBoundVariables

allBoundVariabless

isFFIArgumentTy

isFFIImportResultTy

isFFIExportResultTy

isFFIExternalTy

isFFIDynTy

isFFIPrimArgumentTy

isFFIPrimResultTy

isFFILabelTy

isFFITy

isFunPtrTy

tcSplitIOType_maybe

type Kind

typeKind

liftedTypeKind

constraintKind

isLiftedTypeKind

isUnliftedTypeKind

classifiesTypeWithValues

data Type

type PredType

type ThetaType

data TyBinder

data VisibilityFlag

mkForAllTy

mkForAllTys

mkInvForAllTys

mkSpecForAllTys

mkNamedForAllTy

mkFunTy

mkFunTys

mkTyConApp

mkAppTy

mkAppTys

mkTyConTy

mkTyVarTy

mkTyVarTys

mkNamedBinder

isClassPred

isEqPred

isNomEqPred

isIPPred

mkClassPred

isDictLikeTy

tcSplitDFunTy

tcSplitDFunHead

isRuntimeRepVar

isRuntimeRepPolymorphic

isVisibleBinder

isInvisibleBinder

data TCvSubst

type TvSubstEnv

emptyTCvSubst

zipTvSubst

mkTvSubstPrs

notElemTCvSubst

unionTCvSubst

getTvSubstEnv

setTvSubstEnv

getTCvInScope

extendTCvInScope

extendTCvInScopeList

extendTCvInScopeSet

extendTvSubstAndInScope

lookupTyVar

extendTCvSubst

substTyVarBndr

extendTvSubst

isInScope

mkTCvSubst

mkTvSubst

zipTyEnv

zipCoEnv

substTy

substTys

substTyWith

substTyWithCoVars

substTyAddInScope

substTyUnchecked

substTysUnchecked

substThetaUnchecked

substTyWithBindersUnchecked

substTyWithUnchecked

substCoUnchecked

substCoWithUnchecked

substTheta

isUnliftedType

isUnboxedTupleType

isPrimitiveType

coreView

tyCoVarsOfType

tyCoVarsOfTypes

closeOverKinds

tyCoVarsOfTelescope

tyCoFVsOfType

tyCoFVsOfTypes

tyCoVarsOfTypeDSet

tyCoVarsOfTypesDSet

closeOverKindsDSet

tyCoVarsOfTypeList

tyCoVarsOfTypesList

toTcType

toTcTypeBag

pprKind

pprParendKind

pprSigmaType

pprType

pprParendType

pprTypeApp

pprTyThingCategory

pprTheta

pprThetaArrowTy

pprClassPred

pprTvBndr

pprTvBndrs

type TypeSize

sizeType

sizeTypes

toposortTyVars