| ||||||||||||||||
| ||||||||||||||||
Documentation | ||||||||||||||||
mkLam :: [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 :: OutExpr -> Bool | ||||||||||||||||
mkArgInfo :: Id -> Int -> SimplCont -> ArgInfo | ||||||||||||||||
abstractFloats :: [OutTyVar] -> SimplEnv -> OutExpr -> SimplM ([OutBind], OutExpr) | ||||||||||||||||
Produced by Haddock version 2.3.0 |