IdInfo

The IdDetails type

data IdDetails

pprIdDetails

coVarDetails

The IdInfo type

data IdInfo

vanillaIdInfo

noCafIdInfo

seqIdInfo

megaSeqIdInfo

The OneShotInfo type

data OneShotInfo

oneShotInfo

noOneShotInfo

hasNoOneShotInfo

setOneShotInfo

Zapping various forms of Info

zapLamInfo

zapFragileInfo

zapDemandInfo

zapUsageInfo

The ArityInfo type

type ArityInfo

unknownArity

arityInfo

setArityInfo

ppArityInfo

callArityInfo

setCallArityInfo

Demand and strictness Info

strictnessInfo

setStrictnessInfo

demandInfo

setDemandInfo

pprStrictness

Unfolding Info

unfoldingInfo

setUnfoldingInfo

setUnfoldingInfoLazily

The InlinePragInfo type

type InlinePragInfo

inlinePragInfo

setInlinePragInfo

The OccInfo type

data OccInfo

isDeadOcc

isStrongLoopBreaker

isWeakLoopBreaker

occInfo

setOccInfo

type InsideLam

type OneBranch

insideLam

notInsideLam

oneBranch

notOneBranch

The SpecInfo type

data SpecInfo

emptySpecInfo

isEmptySpecInfo

specInfoFreeVars

specInfoRules

seqSpecInfo

setSpecInfoHead

specInfo

setSpecInfo

The CAFInfo type

data CafInfo

ppCafInfo

mayHaveCafRefs

cafInfo

setCafInfo

Tick-box Info

data TickBoxOp

type TickBoxId