DataCon

Main data types

data DataCon

data DataConIds

type ConTag

Type construction

mkDataCon

fIRST_TAG

Type deconstruction

dataConRepType

dataConSig

dataConFullSig

dataConName

dataConIdentity

dataConTag

dataConTyCon

dataConOrigTyCon

dataConUserType

dataConUnivTyVars

dataConExTyVars

dataConAllTyVars

dataConEqSpec

eqSpecPreds

dataConEqTheta

dataConDictTheta

dataConStupidTheta

dataConInstArgTys

dataConOrigArgTys

dataConOrigResTy

dataConInstOrigArgTys

dataConRepArgTys

dataConFieldLabels

dataConFieldType

dataConStrictMarks

dataConExStricts

dataConSourceArity

dataConRepArity

dataConIsInfix

dataConWorkId

dataConWrapId

dataConWrapId_maybe

dataConImplicitIds

dataConRepStrictness

Predicates on DataCons

isNullarySrcDataCon

isNullaryRepDataCon

isTupleCon

isUnboxedTupleCon

isVanillaDataCon

classDataCon

Splitting product types

splitProductType_maybe

splitProductType

deepSplitProductType

deepSplitProductType_maybe