TyCon

Main TyCon data types

data TyCon

type FieldLabel

data AlgTyConRhs

visibleDataCons

data TyConParent

isNoParent

data FamTyConFlav

data Role

Constructing TyCons

mkAlgTyCon

mkClassTyCon

mkFunTyCon

mkPrimTyCon

mkKindTyCon

mkLiftedPrimTyCon

mkTupleTyCon

mkSynonymTyCon

mkFamilyTyCon

mkPromotedDataCon

mkPromotedTyCon

Predicates on TyCons

isAlgTyCon

isClassTyCon

isFamInstTyCon

isFunTyCon

isPrimTyCon

isTupleTyCon

isUnboxedTupleTyCon

isBoxedTupleTyCon

isTypeSynonymTyCon

isDecomposableTyCon

isPromotedDataCon

isPromotedTyCon

isPromotedDataCon_maybe

isPromotedTyCon_maybe

promotableTyCon_maybe

promoteTyCon

isDataTyCon

isProductTyCon

isDataProductTyCon_maybe

isEnumerationTyCon

isNewTyCon

isAbstractTyCon

isFamilyTyCon

isOpenFamilyTyCon

isTypeFamilyTyCon

isDataFamilyTyCon

isOpenTypeFamilyTyCon

isClosedSynFamilyTyCon_maybe

isBuiltInSynFamTyCon_maybe

isUnLiftedTyCon

isGadtSyntaxTyCon

isDistinctTyCon

isDistinctAlgRhs

isTyConAssoc

tyConAssoc_maybe

isRecursiveTyCon

isImplicitTyCon

Extracting information out of TyCons

tyConName

tyConKind

tyConUnique

tyConTyVars

tyConCType

tyConCType_maybe

tyConDataCons

tyConDataCons_maybe

tyConSingleDataCon_maybe

tyConSingleAlgDataCon_maybe

tyConFamilySize

tyConStupidTheta

tyConArity

tyConRoles

tyConParent

tyConTuple_maybe

tyConClass_maybe

tyConFamInst_maybe

tyConFamInstSig_maybe

tyConFamilyCoercion_maybe

synTyConDefn_maybe

synTyConRhs_maybe

famTyConFlav_maybe

algTyConRhs

newTyConRhs

newTyConEtadArity

newTyConEtadRhs

unwrapNewTyCon_maybe

unwrapNewTyConEtad_maybe

tupleTyConBoxity

tupleTyConSort

tupleTyConArity

Manipulating TyCons

tcExpandTyCon_maybe

coreExpandTyCon_maybe

makeTyConAbstract

newTyConCo

newTyConCo_maybe

pprPromotionQuote

Primitive representations of Types

data PrimRep

data PrimElemRep

tyConPrimRep

isVoidRep

isGcPtrRep

primRepSizeW

primElemRepSizeB

Recursion breaking

data RecTcChecker

initRecTc

checkRecTc