ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

SimplUtils

Documentation

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

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

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

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

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

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

activeUnfolding :: SimplEnv -> Id -> BoolSource

activeRule :: SimplEnv -> Activation -> BoolSource

getUnfoldingInRuleMatch :: SimplEnv -> InScopeEnvSource

simplEnvForGHCi :: DynFlags -> SimplEnvSource

updModeForInlineRules :: Activation -> SimplifierMode -> SimplifierModeSource

data SimplContSource

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 DupFlagSource

Constructors

NoDup 
Simplified 
OkToDup 

Instances

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

mkBoringStop :: OutType -> SimplContSource

mkRhsStop :: OutType -> SimplContSource

mkLazyArgStop :: OutType -> CallCtxt -> SimplContSource

contIsRhsOrArg :: SimplCont -> BoolSource

interestingCallContext :: SimplCont -> CallCtxtSource

interestingArg :: CoreExpr -> ArgSummarySource

data ArgInfoSource

Constructors

ArgInfo 

Fields

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

data ArgSpecSource

Constructors

ValArg OutExpr 
CastBy OutCoercion 

Instances

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

addArgTo :: ArgInfo -> OutExpr -> ArgInfoSource

addCastTo :: ArgInfo -> OutCoercion -> ArgInfoSource

argInfoExpr :: OutId -> [ArgSpec] -> OutExprSource

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

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