| ||||||||||||||
| ||||||||||||||
Documentation | ||||||||||||||
mkLam :: SimplEnv -> [OutBndr] -> OutExpr -> SimplM OutExpr | ||||||||||||||
mkCase :: OutExpr -> OutId -> [OutAlt] -> SimplM OutExpr | ||||||||||||||
prepareAlts :: SimplEnv -> OutExpr -> OutId -> [InAlt] -> SimplM ([AltCon], [InAlt]) | ||||||||||||||
bindCaseBndr :: Id -> CoreExpr -> CoreExpr -> CoreExpr | ||||||||||||||
preInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> InExpr -> Bool | ||||||||||||||
postInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> OccInfo -> OutExpr -> Unfolding -> Bool | ||||||||||||||
activeInline :: SimplEnv -> OutId -> Bool | ||||||||||||||
activeRule :: DynFlags -> SimplEnv -> Maybe (Activation -> Bool) | ||||||||||||||
inlineMode :: SimplifierMode | ||||||||||||||
data SimplCont | ||||||||||||||
| ||||||||||||||
data DupFlag | ||||||||||||||
| ||||||||||||||
data ArgInfo | ||||||||||||||
| ||||||||||||||
contIsDupable :: SimplCont -> Bool | ||||||||||||||
contResultType :: SimplEnv -> OutType -> SimplCont -> OutType | ||||||||||||||
contIsTrivial :: SimplCont -> Bool | ||||||||||||||
contArgs :: SimplCont -> ([OutExpr], SimplCont) | ||||||||||||||
dropArgs :: Int -> SimplCont -> SimplCont | ||||||||||||||
countValArgs :: SimplCont -> Int | ||||||||||||||
countArgs :: SimplCont -> Int | ||||||||||||||
splitInlineCont :: SimplCont -> Maybe (SimplCont, SimplCont) | ||||||||||||||
mkBoringStop :: SimplCont | ||||||||||||||
mkLazyArgStop :: CallCtxt -> SimplCont | ||||||||||||||
contIsRhsOrArg :: SimplCont -> Bool | ||||||||||||||
interestingCallContext :: SimplCont -> CallCtxt | ||||||||||||||
interestingArgContext :: Id -> SimplCont -> Bool | ||||||||||||||
interestingArg :: CoreExpr -> ArgSummary | ||||||||||||||
mkArgInfo :: Id -> Int -> SimplCont -> ArgInfo | ||||||||||||||
abstractFloats :: [OutTyVar] -> SimplEnv -> OutExpr -> SimplM ([OutBind], OutExpr) | ||||||||||||||
Produced by Haddock version 2.6.1 |