Demand
data StrDmd
data UseDmd
data Count
countOnce
countMany
type Demand
type CleanDemand
getStrDmd
getUseDmd
mkProdDmd
mkOnceUsedDmd
mkManyUsedDmd
mkHeadStrict
oneifyDmd
toCleanDmd
absDmd
topDmd
botDmd
seqDmd
lubDmd
bothDmd
lazyApply1Dmd
lazyApply2Dmd
strictApply1Dmd
catchArgDmd
isTopDmd
isAbsDmd
isSeqDmd
peelUseCall
cleanUseDmd_maybe
strictenDmd
bothCleanDmd
addCaseBndrDmd
data DmdType
dmdTypeDepth
lubDmdType
bothDmdType
nopDmdType
botDmdType
mkDmdType
addDemand
removeDmdTyArgs
type BothDmdArg
mkBothDmdArg
toBothDmdArg
type DmdEnv
emptyDmdEnv
peelFV
findIdDemand
type DmdResult
data CPRResult
isBotRes
isTopRes
topRes
botRes
exnRes
cprProdRes
vanillaCprProdRes
cprSumRes
appIsBottom
isBottomingSig
pprIfaceStrictSig
trimCPRInfo
returnsCPR_maybe
data StrictSig
mkStrictSig
mkClosedStrictSig
nopSig
botSig
cprProdSig
isNopSig
splitStrictSig
increaseStrictSigArity
seqDemand
seqDemandList
seqDmdType
seqStrictSig
evalDmd
cleanEvalDmd
cleanEvalProdDmd
isStrictDmd
splitDmdTy
splitFVs
deferAfterIO
postProcessUnsat
postProcessDmdType
splitProdDmd_maybe
peelCallDmd
mkCallDmd
dmdTransformSig
dmdTransformDataConSig
dmdTransformDictSelSig
argOneShots
argsOneShots
trimToType
data TypeShape
useCount
isUsedOnce
reuseEnv
killUsageDemand
killUsageSig
zapUsageDemand
strictifyDictDmd