Demand
data Demand
topDmd
errDmd
evalDmd
seqDmd
lazyDmd
isStrictDmd
isTop
isAbsent
seqDemand
data DmdType
topDmdType
botDmdType
mkDmdType
mkTopDmdType
dmdTypeDepth
seqDmdType
type DmdEnv
emptyDmdEnv
data DmdResult
retCPR
isBotRes
returnsCPR
resTypeArgDmd
data Demands
mapDmds
zipWithDmds
allTop
seqDemands
data StrictSig
mkStrictSig
topSig
cprSig
botSig
isTopSig
splitStrictSig
increaseStrictSigArity
pprIfaceStrictSig
appIsBottom
isBottomingSig
seqStrictSig