TyCon

Main TyCon data types

data TyCon

data AlgTyConRhs

visibleDataCons

data AlgTyConFlav

isNoParent

data FamTyConFlav

data Role

data Injectivity

data RuntimeRepInfo

Field labels

tyConFieldLabels

tyConFieldLabelEnv

Constructing TyCons

mkAlgTyCon

mkClassTyCon

mkFunTyCon

mkPrimTyCon

mkKindTyCon

mkLiftedPrimTyCon

mkTupleTyCon

mkSynonymTyCon

mkFamilyTyCon

mkPromotedDataCon

mkTcTyCon

Predicates on TyCons

isAlgTyCon

isVanillaAlgTyCon

isClassTyCon

isFamInstTyCon

isFunTyCon

isPrimTyCon

isTupleTyCon

isUnboxedTupleTyCon

isBoxedTupleTyCon

isTypeSynonymTyCon

mightBeUnsaturatedTyCon

isPromotedDataCon

isPromotedDataCon_maybe

isKindTyCon

isLiftedTypeKindTyConName

isDataTyCon

isProductTyCon

isDataProductTyCon_maybe

isEnumerationTyCon

isNewTyCon

isAbstractTyCon

isFamilyTyCon

isOpenFamilyTyCon

isTypeFamilyTyCon

isDataFamilyTyCon

isOpenTypeFamilyTyCon

isClosedSynFamilyTyConWithAxiom_maybe

familyTyConInjectivityInfo

isBuiltInSynFamTyCon_maybe

isUnliftedTyCon

isGadtSyntaxTyCon

isInjectiveTyCon

isGenerativeTyCon

isGenInjAlgRhs

isTyConAssoc

tyConAssoc_maybe

isRecursiveTyCon

isImplicitTyCon

isTyConWithSrcDataCons

isTcTyCon

Extracting information out of TyCons

tyConName

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

makeTyConAbstract

newTyConCo

newTyConCo_maybe

pprPromotionQuote

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