TyCon
data TyCon
type FieldLabel
data AlgTyConRhs
visibleDataCons
data TyConParent
isNoParent
data SynTyConRhs
data CoAxiom
coAxiomName
coAxiomArity
mkAlgTyCon
mkClassTyCon
mkIParamTyCon
mkFunTyCon
mkPrimTyCon
mkKindTyCon
mkLiftedPrimTyCon
mkTupleTyCon
mkSynTyCon
mkSuperKindTyCon
mkForeignTyCon
mkPromotedDataTyCon
mkPromotedTypeTyCon
isAlgTyCon
isClassTyCon
isFamInstTyCon
isFunTyCon
isPrimTyCon
isTupleTyCon
isUnboxedTupleTyCon
isBoxedTupleTyCon
isSynTyCon
isClosedSynTyCon
isSuperKindTyCon
isDecomposableTyCon
isForeignTyCon
tyConHasKind
isPromotedDataTyCon
isPromotedTypeTyCon
isInjectiveTyCon
isDataTyCon
isProductTyCon
isEnumerationTyCon
isNewTyCon
isAbstractTyCon
isFamilyTyCon
isSynFamilyTyCon
isDataFamilyTyCon
isUnLiftedTyCon
isGadtSyntaxTyCon
isDistinctTyCon
isDistinctAlgRhs
isTyConAssoc
tyConAssoc_maybe
isRecursiveTyCon
isImplicitTyCon
tyConName
tyConKind
tyConUnique
tyConTyVars
tyConDataCons
tyConDataCons_maybe
tyConSingleDataCon_maybe
tyConFamilySize
tyConStupidTheta
tyConArity
tyConParent
tyConTuple_maybe
tyConClass_maybe
tyConIP_maybe
tyConFamInst_maybe
tyConFamilyCoercion_maybe
tyConFamInstSig_maybe
synTyConDefn
synTyConRhs
synTyConType
tyConExtName
algTyConRhs
newTyConRhs
newTyConEtadRhs
unwrapNewTyCon_maybe
tupleTyConBoxity
tupleTyConSort
tupleTyConArity
tcExpandTyCon_maybe
coreExpandTyCon_maybe
makeTyConAbstract
newTyConCo
newTyConCo_maybe
data PrimRep
tyConPrimRep
primRepSizeW