IdInfo

# The IdDetails type

data IdDetails

pprIdDetails

coVarDetails

# The IdInfo type

data IdInfo

vanillaIdInfo

noCafIdInfo

seqIdInfo

megaSeqIdInfo

## Zapping various forms of Info

zapLamInfo

zapDemandInfo

zapFragileInfo

## The ArityInfo type

type ArityInfo

unknownArity

arityInfo

setArityInfo

ppArityInfo

## 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

## The LBVarInfo type

data LBVarInfo

noLBVarInfo

hasNoLBVarInfo

lbvarInfo

setLBVarInfo

## Tick-box Info

data TickBoxOp

type TickBoxId