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