NewDemand
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