ghc-7.6.1: The GHC API

Safe HaskellNone

SimplUtils

Documentation

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

mkCase :: DynFlags -> OutExpr -> OutId -> OutType -> [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 :: SimplEnv -> Activation -> BoolSource

getUnfoldingInRuleMatch :: SimplEnv -> IdUnfoldingFunSource

simplEnvForGHCi :: DynFlags -> SimplEnvSource

updModeForInlineRules :: Activation -> SimplifierMode -> SimplifierModeSource

data SimplCont Source

Constructors

Stop OutType CallCtxt 
CoerceIt OutCoercion SimplCont 
ApplyTo DupFlag InExpr StaticEnv SimplCont 
Select DupFlag InId [InAlt] StaticEnv SimplCont 
StrictBind InId [InBndr] InExpr StaticEnv SimplCont 
StrictArg ArgInfo CallCtxt SimplCont 
TickIt (Tickish Id) SimplCont 

Instances

data DupFlag Source

Constructors

NoDup 
Simplified 
OkToDup 

Instances

data ArgInfo Source

Constructors

ArgInfo 

Fields

ai_fun :: OutId
 
ai_args :: [OutExpr]
 
ai_type :: OutType
 
ai_rules :: [CoreRule]
 
ai_encl :: Bool
 
ai_strs :: [Bool]
 
ai_discs :: [Int]
 

isSimplified :: DupFlag -> BoolSource

contIsDupable :: SimplCont -> BoolSource

contResultType :: SimplCont -> OutTypeSource

contInputType :: 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 :: OutType -> SimplContSource

mkRhsStop :: OutType -> SimplContSource

mkLazyArgStop :: OutType -> 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