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