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 TcTyVarBinder

type TcTyCon

data ExpType

data InferResult

type ExpSigmaType

type ExpRhoType

mkCheckExpType

data SyntaxOpType

synKnownType

mkSynFunTys

data TcLevel

topTcLevel

pushTcLevel

isTopTcLevel

strictlyDeeperThan

sameDepthAs

fmvTcLevel

tcTypeLevel

tcTyVarLevel

maxTcLevel

data UserTypeCtxt

pprUserTypeCtxt

isSigMaybe

data TcTyVarDetails

pprTcTyVarDetails

vanillaSkolemTv

superSkolemTv

data MetaDetails

data MetaInfo

isImmutableTyVar

isSkolemTyVar

isMetaTyVar

isMetaTyVarTy

isTyVarTy

isSigTyVar

isOverlappableTyVar

isTyConableTyVar

isFskTyVar

isFmvTyVar

isFlattenTyVar

isAmbiguousTyVar

metaTyVarRef

metaTyVarInfo

isFlexi

isIndirect

isRuntimeUnkSkol

metaTyVarTcLevel

setMetaTyVarTcLevel

metaTyVarTcLevel_maybe

isTouchableMetaTyVar

isTouchableOrFmv

isFloatedTouchableMetaTyVar

mkPhiTy

mkInfSigmaTy

mkSpecSigmaTy

mkSigmaTy

mkNakedTyConApp

mkNakedAppTys

mkNakedAppTy

mkNakedCastTy

getTyVar

tcSplitForAllTy_maybe

tcSplitForAllTys

tcSplitPiTys

tcSplitForAllTyVarBndrs

tcSplitPhiTy

tcSplitPredFunTy_maybe

tcSplitFunTy_maybe

tcSplitFunTys

tcFunArgTy

tcFunResultTy

tcFunResultTyN

tcSplitFunTysN

tcSplitTyConApp

tcSplitTyConApp_maybe

tcRepSplitTyConApp_maybe

tcRepSplitTyConApp_maybe'

tcTyConAppTyCon

tcTyConAppTyCon_maybe

tcTyConAppArgs

tcSplitAppTy_maybe

tcSplitAppTy

tcSplitAppTys

tcRepSplitAppTy_maybe

tcGetTyVar_maybe

tcGetTyVar

nextRole

tcSplitSigmaTy

tcSplitNestedSigmaTys

tcDeepSplitSigmaTy_maybe

eqType

eqTypes

nonDetCmpType

nonDetCmpTypes

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

isInsolubleOccursCheck

checkValidClsArgs

hasTyVarHead

isRigidEqPred

isRigidTy

deNoteType

orphNamesOfType

orphNamesOfCo

orphNamesOfTypes

orphNamesOfCoCon

getDFunTyKey

evVarPred_maybe

evVarPred

mkMinimalBySCs

transSuperClasses

pickQuantifiablePreds

pickCapturedPreds

immSuperClasses

isImprovementPred

Finding type instances

tcTyFamInsts

Finding "exact" (non-dead) type variables

exactTyCoVarsOfType

exactTyCoVarsOfTypes

splitDepVarsOfType

splitDepVarsOfTypes

data TcDepVars

tcDepVarSet

anyRewritableTyVar

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 ArgFlag

mkForAllTy

mkForAllTys

mkInvForAllTys

mkSpecForAllTys

mkInvForAllTy

mkFunTy

mkFunTys

mkTyConApp

mkAppTy

mkAppTys

mkTyConTy

mkTyVarTy

mkTyVarTys

isClassPred

isEqPred

isNomEqPred

isIPPred

mkClassPred

isDictLikeTy

tcSplitDFunTy

tcSplitDFunHead

tcSplitMethodTy

isRuntimeRepVar

isKindLevPoly

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

substTyWithUnchecked

substCoUnchecked

substCoWithUnchecked

substTheta

isUnliftedType

isUnboxedTupleType

isPrimitiveType

tcView

coreView

tyCoVarsOfType

tyCoVarsOfTypes

closeOverKinds

tyCoFVsOfType

tyCoFVsOfTypes

tyCoVarsOfTypeDSet

tyCoVarsOfTypesDSet

closeOverKindsDSet

tyCoVarsOfTypeList

tyCoVarsOfTypesList

noFreeVarsOfType

toTcType

toTcTypeBag

pprKind

pprParendKind

pprSigmaType

pprType

pprParendType

pprTypeApp

pprTyThingCategory

tyThingCategory

pprTheta

pprThetaArrowTy

pprClassPred

pprTvBndr

pprTvBndrs

type TypeSize

sizeType

sizeTypes

toposortTyVars