Safe Haskell | None |
---|---|
Language | Haskell2010 |
SimplUtils
Documentation
preInlineUnconditionally :: DynFlags -> SimplEnv -> TopLevelFlag -> InId -> InExpr -> Bool #
postInlineUnconditionally :: DynFlags -> SimplEnv -> TopLevelFlag -> OutId -> OccInfo -> OutExpr -> Unfolding -> Bool #
activeUnfolding :: SimplEnv -> Id -> Bool #
activeRule :: SimplEnv -> Activation -> Bool #
simplEnvForGHCi :: DynFlags -> SimplEnv #
Constructors
Stop OutType CallCtxt | |
CastIt OutCoercion SimplCont | |
ApplyToVal | |
ApplyToTy | |
Select | |
StrictBind InId [InBndr] InExpr StaticEnv SimplCont | |
StrictArg ArgInfo CallCtxt SimplCont | |
TickIt (Tickish Id) SimplCont |
Instances
isSimplified :: DupFlag -> Bool #
contIsDupable :: SimplCont -> Bool #
contResultType :: SimplCont -> OutType #
contHoleType :: SimplCont -> OutType #
contIsTrivial :: SimplCont -> Bool #
countValArgs :: SimplCont -> Int #
mkBoringStop :: OutType -> SimplCont #
mkLazyArgStop :: OutType -> CallCtxt -> SimplCont #
contIsRhsOrArg :: SimplCont -> Bool #
Constructors
ValArg OutExpr | |
TyArg | |
Fields
| |
CastBy OutCoercion |
Instances
addValArgTo :: ArgInfo -> OutExpr -> ArgInfo #
addCastTo :: ArgInfo -> OutCoercion -> ArgInfo #
addTyArgTo :: ArgInfo -> OutType -> ArgInfo #
argInfoExpr :: OutId -> [ArgSpec] -> OutExpr #
argInfoAppArgs :: [ArgSpec] -> [OutExpr] #