TyCon

Main TyCon data types

data TyCon

type FieldLabel

data AlgTyConRhs

visibleDataCons

data TyConParent

isNoParent

data SynTyConRhs

Coercion axiom constructors

data CoAxiom

coAxiomName

coAxiomArity

coAxiomTyVars

coAxiomLHS

coAxiomRHS

isImplicitCoAxiom

Constructing TyCons

mkAlgTyCon

mkClassTyCon

mkFunTyCon

mkPrimTyCon

mkKindTyCon

mkLiftedPrimTyCon

mkTupleTyCon

mkSynTyCon

mkForeignTyCon

mkPromotedDataCon

mkPromotedTyCon

Predicates on TyCons

isAlgTyCon

isClassTyCon

isFamInstTyCon

isFunTyCon

isPrimTyCon

isTupleTyCon

isUnboxedTupleTyCon

isBoxedTupleTyCon

isSynTyCon

isClosedSynTyCon

isDecomposableTyCon

isForeignTyCon

isPromotedDataCon

isPromotedTyCon

isInjectiveTyCon

isDataTyCon

isProductTyCon

isEnumerationTyCon

isNewTyCon

isAbstractTyCon

isFamilyTyCon

isSynFamilyTyCon

isDataFamilyTyCon

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

tyConFamilySize

tyConStupidTheta

tyConArity

tyConParent

tyConTuple_maybe

tyConClass_maybe

tyConFamInst_maybe

tyConFamInstSig_maybe

tyConFamilyCoercion_maybe

synTyConDefn

synTyConRhs

synTyConType

tyConExtName

algTyConRhs

newTyConRhs

newTyConEtadRhs

unwrapNewTyCon_maybe

tupleTyConBoxity

tupleTyConSort

tupleTyConArity

promotedDataCon

promotedTyCon

Manipulating TyCons

tcExpandTyCon_maybe

coreExpandTyCon_maybe

makeTyConAbstract

newTyConCo

newTyConCo_maybe

pprPromotionQuote

Primitive representations of Types

data PrimRep

tyConPrimRep

primRepSizeW