IdInfo

# The IdDetails type

data IdDetails

pprIdDetails

coVarDetails

isCoVarDetails

type JoinArity

isJoinIdDetails_maybe

data RecSelParent

# The IdInfo type

data IdInfo

vanillaIdInfo

noCafIdInfo

## The OneShotInfo type

data OneShotInfo

oneShotInfo

noOneShotInfo

hasNoOneShotInfo

setOneShotInfo

## Zapping various forms of Info

zapLamInfo

zapFragileInfo

zapDemandInfo

zapUsageInfo

zapUsageEnvInfo

zapUsedOnceInfo

zapTailCallInfo

zapCallArityInfo

## The ArityInfo type

type ArityInfo

unknownArity

arityInfo

setArityInfo

ppArityInfo

callArityInfo

setCallArityInfo

## Demand and strictness Info

strictnessInfo

setStrictnessInfo

demandInfo

setDemandInfo

pprStrictness

## Unfolding Info

unfoldingInfo

setUnfoldingInfo

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

data TailCallInfo

tailCallInfo

isAlwaysTailCalled

## The RuleInfo type

data RuleInfo

emptyRuleInfo

isEmptyRuleInfo

ruleInfoFreeVars

ruleInfoRules

setRuleInfoHead

ruleInfo

setRuleInfo

## The CAFInfo type

data CafInfo

ppCafInfo

mayHaveCafRefs

cafInfo

setCafInfo

## Tick-box Info

data TickBoxOp

type TickBoxId

## Levity info

data LevityInfo

levityInfo

setNeverLevPoly

setLevityInfoWithType

isNeverLevPolyIdInfo