Demand
data Demand
topDmd
lazyDmd
seqDmd
evalDmd
errDmd
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
botSig
cprSig
isTopSig
splitStrictSig
increaseStrictSigArity
pprIfaceStrictSig
appIsBottom
isBottomingSig
seqStrictSig