TyCon
data TyCon
type FieldLabel
data AlgTyConRhs
visibleDataCons
data TyConParent
isNoParent
data FamTyConFlav
data Role
mkAlgTyCon
mkClassTyCon
mkFunTyCon
mkPrimTyCon
mkKindTyCon
mkLiftedPrimTyCon
mkTupleTyCon
mkSynonymTyCon
mkFamilyTyCon
mkPromotedDataCon
mkPromotedTyCon
isAlgTyCon
isClassTyCon
isFamInstTyCon
isFunTyCon
isPrimTyCon
isTupleTyCon
isUnboxedTupleTyCon
isBoxedTupleTyCon
isTypeSynonymTyCon
isDecomposableTyCon
isPromotedDataCon
isPromotedTyCon
isPromotedDataCon_maybe
isPromotedTyCon_maybe
promotableTyCon_maybe
promoteTyCon
isDataTyCon
isProductTyCon
isDataProductTyCon_maybe
isEnumerationTyCon
isNewTyCon
isAbstractTyCon
isFamilyTyCon
isOpenFamilyTyCon
isTypeFamilyTyCon
isDataFamilyTyCon
isOpenTypeFamilyTyCon
isClosedSynFamilyTyCon_maybe
isBuiltInSynFamTyCon_maybe
isUnLiftedTyCon
isGadtSyntaxTyCon
isDistinctTyCon
isDistinctAlgRhs
isTyConAssoc
tyConAssoc_maybe
isRecursiveTyCon
isImplicitTyCon
tyConName
tyConKind
tyConUnique
tyConTyVars
tyConCType
tyConCType_maybe
tyConDataCons
tyConDataCons_maybe
tyConSingleDataCon_maybe
tyConSingleAlgDataCon_maybe
tyConFamilySize
tyConStupidTheta
tyConArity
tyConRoles
tyConParent
tyConTuple_maybe
tyConClass_maybe
tyConFamInst_maybe
tyConFamInstSig_maybe
tyConFamilyCoercion_maybe
synTyConDefn_maybe
synTyConRhs_maybe
famTyConFlav_maybe
algTyConRhs
newTyConRhs
newTyConEtadArity
newTyConEtadRhs
unwrapNewTyCon_maybe
unwrapNewTyConEtad_maybe
tupleTyConBoxity
tupleTyConSort
tupleTyConArity
tcExpandTyCon_maybe
coreExpandTyCon_maybe
makeTyConAbstract
newTyConCo
newTyConCo_maybe
pprPromotionQuote
data PrimRep
data PrimElemRep
tyConPrimRep
isVoidRep
isGcPtrRep
primRepSizeW
primElemRepSizeB
data RecTcChecker
initRecTc
checkRecTc