Demand

data StrDmd

data UseDmd

data Count

countOnce

countMany

type Demand

data CleanDemand

mkProdDmd

mkOnceUsedDmd

mkManyUsedDmd

mkHeadStrict

oneifyDmd

getUsage

toCleanDmd

absDmd

topDmd

botDmd

seqDmd

lubDmd

bothDmd

isTopDmd

isBotDmd

isAbsDmd

isSeqDmd

peelUseCall

cleanUseDmd_maybe

strictenDmd

bothCleanDmd

data DmdType

dmdTypeDepth

lubDmdType

bothDmdEnv

bothDmdType

topDmdType

botDmdType

mkDmdType

mkTopDmdType

type DmdEnv

emptyDmdEnv

type DmdResult

data CPRResult

isBotRes

isTopRes

resTypeArgDmd

topRes

botRes

cprProdRes

cprSumRes

appIsBottom

isBottomingSig

pprIfaceStrictSig

returnsCPR

returnsCPRProd

returnsCPR_maybe

data StrictSig

mkStrictSig

topSig

botSig

cprProdSig

isTopSig

splitStrictSig

increaseStrictSigArity

seqDemand

seqDemandList

seqDmdType

seqStrictSig

evalDmd

cleanEvalDmd

cleanEvalProdDmd

isStrictDmd

splitDmdTy

splitFVs

deferDmd

deferType

deferAndUse

deferEnv

modifyEnv

splitProdDmd

splitProdDmd_maybe

peelCallDmd

mkCallDmd

dmdTransformSig

dmdTransformDataConSig

argOneShots

argsOneShots

isSingleUsed

useType

useEnv

zapDemand

zapStrictSig

worthSplittingFun

worthSplittingThunk