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