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