Documentation
isStrictDmd :: Demand -> BoolSource
mkTopDmdType :: [Demand] -> DmdResult -> DmdTypeSource
dmdTypeDepth :: DmdType -> AritySource
seqDmdType :: DmdType -> ()Source
returnsCPR :: DmdResult -> BoolSource
seqDemands :: Demands -> ()Source
splitStrictSig :: StrictSig -> ([Demand], DmdResult)Source
appIsBottom :: StrictSig -> Int -> BoolSource
seqStrictSig :: StrictSig -> ()Source