| 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 #
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] #