TyCon
data TyCon
type FieldLabel
data AlgTyConRhs
visibleDataCons
data TyConParent
isNoParent
data SynTyConRhs
data CoAxiom
coAxiomName
coAxiomArity
mkAlgTyCon
mkClassTyCon
mkFunTyCon
mkPrimTyCon
mkKindTyCon
mkLiftedPrimTyCon
mkTupleTyCon
mkSynTyCon
mkSuperKindTyCon
mkForeignTyCon
mkAnyTyCon
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
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
tcExpandTyCon_maybe
coreExpandTyCon_maybe
makeTyConAbstract
newTyConCo
newTyConCo_maybe
data PrimRep
tyConPrimRep
primRepSizeW