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