DataCon

Main data types

data DataCon

data DataConRep

data SrcStrictness

data SrcUnpackedness

data HsSrcBang

data HsImplBang

data StrictnessMark

type ConTag

Equality specs

data EqSpec

mkEqSpec

eqSpecTyVar

eqSpecType

eqSpecPair

eqSpecPreds

substEqSpec

filterEqSpec

Field labels

data FieldLbl a

type FieldLabel

type FieldLabelString

Type construction

mkDataCon

buildAlgTyCon

fIRST_TAG

Type deconstruction

dataConRepType

dataConSig

dataConInstSig

dataConFullSig

dataConName

dataConIdentity

dataConTag

dataConTyCon

dataConOrigTyCon

dataConUserType

dataConUnivTyVars

dataConUnivTyBinders

dataConExTyVars

dataConExTyBinders

dataConAllTyVars

dataConEqSpec

dataConTheta

dataConStupidTheta

dataConInstArgTys

dataConOrigArgTys

dataConOrigResTy

dataConInstOrigArgTys

dataConRepArgTys

dataConFieldLabels

dataConFieldType

dataConSrcBangs

dataConSourceArity

dataConRepArity

dataConRepRepArity

dataConIsInfix

dataConWorkId

dataConWrapId

dataConWrapId_maybe

dataConImplicitTyThings

dataConRepStrictness

dataConImplBangs

dataConBoxer

splitDataProductType_maybe

Predicates on DataCons

isNullarySrcDataCon

isNullaryRepDataCon

isTupleDataCon

isUnboxedTupleCon

isVanillaDataCon

classDataCon

dataConCannotMatch

isBanged

isMarkedStrict

eqHsBang

isSrcStrict

isSrcUnpacked

specialPromotedDc

isLegacyPromotableDataCon

isLegacyPromotableTyCon

Promotion related functions

promoteDataCon