Documentation

mkLam :: SimplEnv -> [OutBndr] -> OutExpr -> SimplM OutExprSource

mkCase :: DynFlags -> OutExpr -> OutId -> [OutAlt] -> SimplM OutExprSource

prepareAlts :: OutExpr -> OutId -> [InAlt] -> SimplM ([AltCon], [InAlt])Source

tryEtaExpand :: SimplEnv -> OutId -> OutExpr -> SimplM (Arity, OutExpr)Source

preInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> InExpr -> BoolSource

postInlineUnconditionally :: SimplEnv -> TopLevelFlag -> OutId -> OccInfo -> OutExpr -> Unfolding -> BoolSource

activeUnfolding :: SimplEnv -> Id -> BoolSource

activeRule :: DynFlags -> SimplEnv -> Maybe (Activation -> Bool)Source

getUnfoldingInRuleMatch :: SimplEnv -> IdUnfoldingFunSource

simplEnvForGHCi :: SimplEnvSource

updModeForInlineRules :: Activation -> SimplifierMode -> SimplifierModeSource

data SimplCont Source

data DupFlag Source

data ArgInfo Source

isSimplified :: DupFlag -> BoolSource

contIsDupable :: SimplCont -> BoolSource

contResultType :: SimplEnv -> OutType -> SimplCont -> OutTypeSource

contIsTrivial :: SimplCont -> BoolSource

contArgs :: SimplCont -> (Bool, [ArgSummary], SimplCont)Source

dropArgs :: Int -> SimplCont -> SimplContSource

pushSimplifiedArgs :: SimplEnv -> [CoreExpr] -> SimplCont -> SimplContSource

countValArgs :: SimplCont -> IntSource

countArgs :: SimplCont -> IntSource

addArgTo :: ArgInfo -> OutExpr -> ArgInfoSource

mkBoringStop :: SimplContSource

mkRhsStop :: SimplContSource

mkLazyArgStop :: CallCtxt -> SimplContSource

contIsRhsOrArg :: SimplCont -> BoolSource

interestingCallContext :: SimplCont -> CallCtxtSource

interestingArg :: CoreExpr -> ArgSummarySource

mkArgInfo :: Id -> [CoreRule] -> Int -> SimplCont -> ArgInfoSource

abstractFloats :: [OutTyVar] -> SimplEnv -> OutExpr -> SimplM ([OutBind], OutExpr)Source