DataCon

Main data types

data DataCon

data DataConRep

data HsBang

type HsSrcBang

type HsImplBang

data StrictnessMark

type ConTag

Type construction

mkDataCon

fIRST_TAG

buildAlgTyCon

Type deconstruction

dataConRepType

dataConSig

dataConFullSig

dataConName

dataConIdentity

dataConTag

dataConTyCon

dataConOrigTyCon

dataConUserType

dataConUnivTyVars

dataConExTyVars

dataConAllTyVars

dataConEqSpec

eqSpecPreds

dataConTheta

dataConStupidTheta

dataConInstArgTys

dataConOrigArgTys

dataConOrigResTy

dataConInstOrigArgTys

dataConRepArgTys

dataConFieldLabels

dataConFieldType

dataConSrcBangs

dataConSourceArity

dataConRepArity

dataConRepRepArity

dataConIsInfix

dataConWorkId

dataConWrapId

dataConWrapId_maybe

dataConImplicitIds

dataConRepStrictness

dataConImplBangs

dataConBoxer

splitDataProductType_maybe

Predicates on DataCons

isNullarySrcDataCon

isNullaryRepDataCon

isTupleDataCon

isUnboxedTupleCon

isVanillaDataCon

classDataCon

dataConCannotMatch

isBanged

isMarkedStrict

eqHsBang

Promotion related functions

promoteKind

promoteDataCon

promoteDataCon_maybe