Documentation

mkLam :: [OutBndr] -> OutExpr -> SimplCont -> SimplM OutExpr Source

mkCase :: DynFlags -> OutExpr -> OutId -> OutType -> [OutAlt] -> SimplM OutExpr Source

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

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

preInlineUnconditionally :: DynFlags -> SimplEnv -> TopLevelFlag -> InId -> InExpr -> Bool Source

postInlineUnconditionally :: DynFlags -> SimplEnv -> TopLevelFlag -> OutId -> OccInfo -> OutExpr -> Unfolding -> Bool Source

activeUnfolding :: SimplEnv -> Id -> Bool Source

activeRule :: SimplEnv -> Activation -> Bool Source

getUnfoldingInRuleMatch :: SimplEnv -> InScopeEnv Source

simplEnvForGHCi :: DynFlags -> SimplEnv Source

updModeForInlineRules :: Activation -> SimplifierMode -> SimplifierMode Source

data SimplCont Source

data DupFlag Source

isSimplified :: DupFlag -> Bool Source

contIsDupable :: SimplCont -> Bool Source

contResultType :: SimplCont -> OutType Source

contInputType :: SimplCont -> OutType Source

contIsTrivial :: SimplCont -> Bool Source

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

dropArgs :: Int -> SimplCont -> SimplCont Source

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

countValArgs :: SimplCont -> Int Source

countArgs :: SimplCont -> Int Source

mkBoringStop :: OutType -> SimplCont Source

mkRhsStop :: OutType -> SimplCont Source

mkLazyArgStop :: OutType -> CallCtxt -> SimplCont Source

contIsRhsOrArg :: SimplCont -> Bool Source

interestingCallContext :: SimplCont -> CallCtxt Source

interestingArg :: CoreExpr -> ArgSummary Source

data ArgInfo Source

data ArgSpec Source

mkArgInfo :: Id -> [CoreRule] -> Int -> SimplCont -> ArgInfo Source

addArgTo :: ArgInfo -> OutExpr -> ArgInfo Source

addCastTo :: ArgInfo -> OutCoercion -> ArgInfo Source

argInfoExpr :: OutId -> [ArgSpec] -> OutExpr Source

argInfoValArgs :: SimplEnv -> [ArgSpec] -> SimplCont -> ([OutExpr], SimplCont) Source

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