TyCon

Main TyCon data types

data TyCon

data AlgTyConRhs

visibleDataCons

data AlgTyConFlav

isNoParent

data FamTyConFlav

data Role

data Injectivity

data RuntimeRepInfo

TyConBinder

type TyConBinder

data TyConBndrVis

mkNamedTyConBinder

mkNamedTyConBinders

mkAnonTyConBinder

mkAnonTyConBinders

tyConBinderArgFlag

isNamedTyConBinder

isVisibleTyConBinder

isInvisibleTyConBinder

Field labels

tyConFieldLabels

lookupTyConFieldLabel

Constructing TyCons

mkAlgTyCon

mkClassTyCon

mkFunTyCon

mkPrimTyCon

mkKindTyCon

mkLiftedPrimTyCon

mkTupleTyCon

mkSumTyCon

mkSynonymTyCon

mkFamilyTyCon

mkPromotedDataCon

mkTcTyCon

Predicates on TyCons

isAlgTyCon

isVanillaAlgTyCon

isClassTyCon

isFamInstTyCon

isFunTyCon

isPrimTyCon

isTupleTyCon

isUnboxedTupleTyCon

isBoxedTupleTyCon

isUnboxedSumTyCon

isPromotedTupleTyCon

isTypeSynonymTyCon

mightBeUnsaturatedTyCon

isPromotedDataCon

isPromotedDataCon_maybe

isKindTyCon

isLiftedTypeKindTyConName

isTauTyCon

isFamFreeTyCon

isDataTyCon

isProductTyCon

isDataProductTyCon_maybe

isDataSumTyCon_maybe

isEnumerationTyCon

isNewTyCon

isAbstractTyCon

isFamilyTyCon

isOpenFamilyTyCon

isTypeFamilyTyCon

isDataFamilyTyCon

isOpenTypeFamilyTyCon

isClosedSynFamilyTyConWithAxiom_maybe

familyTyConInjectivityInfo

isBuiltInSynFamTyCon_maybe

isUnliftedTyCon

isGadtSyntaxTyCon

isInjectiveTyCon

isGenerativeTyCon

isGenInjAlgRhs

isTyConAssoc

tyConAssoc_maybe

isImplicitTyCon

isTyConWithSrcDataCons

isTcTyCon

isTcLevPoly

Extracting information out of TyCons

tyConName

tyConSkolem

tyConKind

tyConUnique

tyConTyVars

tyConCType

tyConCType_maybe

tyConDataCons

tyConDataCons_maybe

tyConSingleDataCon_maybe

tyConSingleDataCon

tyConSingleAlgDataCon_maybe

tyConFamilySize

tyConStupidTheta

tyConArity

tyConRoles

tyConFlavour

tyConTuple_maybe

tyConClass_maybe

tyConATs

tyConFamInst_maybe

tyConFamInstSig_maybe

tyConFamilyCoercion_maybe

tyConFamilyResVar_maybe

synTyConDefn_maybe

synTyConRhs_maybe

famTyConFlav_maybe

famTcResVar

algTyConRhs

newTyConRhs

newTyConEtadArity

newTyConEtadRhs

unwrapNewTyCon_maybe

unwrapNewTyConEtad_maybe

newTyConDataCon_maybe

algTcFields

tyConRuntimeRepInfo

tyConBinders

tyConResKind

tcTyConScopedTyVars

Manipulating TyCons

expandSynTyCon_maybe

makeRecoveryTyCon

newTyConCo

newTyConCo_maybe

pprPromotionQuote

mkTyConKind

Runtime type representation

type TyConRepName

tyConRepName_maybe

mkPrelTyConRepName

tyConRepModOcc

Primitive representations of Types

data PrimRep

data PrimElemRep

isVoidRep

isGcPtrRep

primRepSizeW

primElemRepSizeB

primRepIsFloat

Recursion breaking

data RecTcChecker

initRecTc

checkRecTc