| ||||||||||||||||
| ||||||||||||||||
Documentation | ||||||||||||||||
data Demand | ||||||||||||||||
| ||||||||||||||||
topDmd :: Demand | ||||||||||||||||
lazyDmd :: Demand | ||||||||||||||||
seqDmd :: Demand | ||||||||||||||||
evalDmd :: Demand | ||||||||||||||||
errDmd :: Demand | ||||||||||||||||
isStrictDmd :: Demand -> Bool | ||||||||||||||||
isTop :: Demand -> Bool | ||||||||||||||||
isAbsent :: Demand -> Bool | ||||||||||||||||
seqDemand :: Demand -> () | ||||||||||||||||
data DmdType | ||||||||||||||||
| ||||||||||||||||
topDmdType :: DmdType | ||||||||||||||||
botDmdType :: DmdType | ||||||||||||||||
mkDmdType :: DmdEnv -> [Demand] -> DmdResult -> DmdType | ||||||||||||||||
mkTopDmdType :: [Demand] -> DmdResult -> DmdType | ||||||||||||||||
dmdTypeDepth :: DmdType -> Arity | ||||||||||||||||
seqDmdType :: DmdType -> () | ||||||||||||||||
type DmdEnv = VarEnv Demand | ||||||||||||||||
emptyDmdEnv :: VarEnv Demand | ||||||||||||||||
data DmdResult | ||||||||||||||||
| ||||||||||||||||
retCPR :: DmdResult | ||||||||||||||||
isBotRes :: DmdResult -> Bool | ||||||||||||||||
returnsCPR :: DmdResult -> Bool | ||||||||||||||||
resTypeArgDmd :: DmdResult -> Demand | ||||||||||||||||
data Demands | ||||||||||||||||
| ||||||||||||||||
mapDmds :: (Demand -> Demand) -> Demands -> Demands | ||||||||||||||||
zipWithDmds :: (Demand -> Demand -> Demand) -> Demands -> Demands -> Demands | ||||||||||||||||
allTop :: Demands -> Bool | ||||||||||||||||
seqDemands :: Demands -> () | ||||||||||||||||
newtype StrictSig | ||||||||||||||||
| ||||||||||||||||
mkStrictSig :: DmdType -> StrictSig | ||||||||||||||||
topSig :: StrictSig | ||||||||||||||||
botSig :: StrictSig | ||||||||||||||||
cprSig :: StrictSig | ||||||||||||||||
isTopSig :: StrictSig -> Bool | ||||||||||||||||
splitStrictSig :: StrictSig -> ([Demand], DmdResult) | ||||||||||||||||
increaseStrictSigArity :: Int -> StrictSig -> StrictSig | ||||||||||||||||
pprIfaceStrictSig :: StrictSig -> SDoc | ||||||||||||||||
appIsBottom :: StrictSig -> Int -> Bool | ||||||||||||||||
isBottomingSig :: StrictSig -> Bool | ||||||||||||||||
seqStrictSig :: StrictSig -> () | ||||||||||||||||
Produced by Haddock version 2.6.0 |