TyCon

Main TyCon data types

data TyCon

type FieldLabel

data AlgTyConRhs

visibleDataCons

data TyConParent

isNoParent

data SynTyConRhs

Coercion axiom constructors

data CoAxiom

coAxiomName

coAxiomArity

Constructing TyCons

mkAlgTyCon

mkClassTyCon

mkFunTyCon

mkPrimTyCon

mkKindTyCon

mkLiftedPrimTyCon

mkTupleTyCon

mkSynTyCon

mkSuperKindTyCon

mkForeignTyCon

mkAnyTyCon

Predicates on TyCons

isAlgTyCon

isClassTyCon

isFamInstTyCon

isFunTyCon

isPrimTyCon

isTupleTyCon

isUnboxedTupleTyCon

isBoxedTupleTyCon

isSynTyCon

isClosedSynTyCon

isSuperKindTyCon

isDecomposableTyCon

isForeignTyCon

isAnyTyCon

tyConHasKind

isInjectiveTyCon

isDataTyCon

isProductTyCon

isEnumerationTyCon

isNewTyCon

isAbstractTyCon

isFamilyTyCon

isSynFamilyTyCon

isDataFamilyTyCon

isUnLiftedTyCon

isGadtSyntaxTyCon

isTyConAssoc

isRecursiveTyCon

isHiBootTyCon

isImplicitTyCon

Extracting information out of TyCons

tyConName

tyConKind

tyConUnique

tyConTyVars

tyConDataCons

tyConDataCons_maybe

tyConSingleDataCon_maybe

tyConFamilySize

tyConStupidTheta

tyConArity

tyConParent

tyConClass_maybe

tyConFamInst_maybe

tyConFamilyCoercion_maybe

tyConFamInstSig_maybe

synTyConDefn

synTyConRhs

synTyConType

tyConExtName

algTyConRhs

newTyConRhs

newTyConEtadRhs

unwrapNewTyCon_maybe

tupleTyConBoxity

tupleTyConArity

Manipulating TyCons

tcExpandTyCon_maybe

coreExpandTyCon_maybe

makeTyConAbstract

newTyConCo

newTyConCo_maybe

Primitive representations of Types

data PrimRep

tyConPrimRep

primRepSizeW