| ||||||||||||||||||
| ||||||||||||||||||
| 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.7.2 |