TyCon
Main TyCon data types
data
TyCon
type
FieldLabel
data
AlgTyConRhs
visibleDataCons
data
TyConParent
data
SynTyConRhs
type
AssocFamilyPermutation
Constructing TyCons
mkAlgTyCon
mkClassTyCon
mkFunTyCon
mkPrimTyCon
mkVoidPrimTyCon
mkLiftedPrimTyCon
mkTupleTyCon
mkSynTyCon
mkSuperKindTyCon
mkCoercionTyCon
mkForeignTyCon
Predicates on TyCons
isAlgTyCon
isClassTyCon
isFamInstTyCon
isFunTyCon
isPrimTyCon
isTupleTyCon
isUnboxedTupleTyCon
isBoxedTupleTyCon
isSynTyCon
isClosedSynTyCon
isOpenSynTyCon
isSuperKindTyCon
isCoercionTyCon
isCoercionTyCon_maybe
isForeignTyCon
isDataTyCon
isProductTyCon
isEnumerationTyCon
isNewTyCon
isAbstractTyCon
isOpenTyCon
isUnLiftedTyCon
isGadtSyntaxTyCon
isTyConAssoc
isRecursiveTyCon
isHiBootTyCon
isImplicitTyCon
tyConHasGenerics
Extracting information out of TyCons
tyConName
tyConKind
tyConUnique
tyConTyVars
tyConDataCons
tyConDataCons_maybe
tyConSingleDataCon_maybe
tyConFamilySize
tyConSelIds
tyConStupidTheta
tyConArity
tyConClass_maybe
tyConFamInst_maybe
tyConFamilyCoercion_maybe
synTyConDefn
synTyConRhs
synTyConType
synTyConResKind
tyConExtName
algTyConRhs
newTyConRhs
newTyConEtadRhs
unwrapNewTyCon_maybe
assocTyConArgPoss_maybe
tupleTyConBoxity
Manipulating TyCons
tcExpandTyCon_maybe
coreExpandTyCon_maybe
makeTyConAbstract
newTyConCo_maybe
setTyConArgPoss
Primitive representations of Types
data
PrimRep
tyConPrimRep
primRepSizeW