Safe Haskell | None |
---|---|
Language | Haskell2010 |
SimplUtils
Documentation
preInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> InExpr -> Bool #
postInlineUnconditionally :: SimplEnv -> TopLevelFlag -> OutId -> OccInfo -> OutExpr -> Bool #
activeUnfolding :: SimplEnv -> Id -> Bool #
activeRule :: SimplEnv -> Activation -> Bool #
simplEnvForGHCi :: DynFlags -> SimplEnv #
updModeForRules :: SimplMode -> SimplMode #
Constructors
NoDup | |
Simplified | |
OkToDup |
isSimplified :: DupFlag -> Bool #
contIsStop :: SimplCont -> Bool #
contIsDupable :: SimplCont -> Bool #
contResultType :: SimplCont -> OutType #
contHoleType :: SimplCont -> OutType #
contIsTrivial :: SimplCont -> Bool #
mkBoringStop :: OutType -> SimplCont #
mkLazyArgStop :: OutType -> CallCtxt -> SimplCont #
contIsRhsOrArg :: SimplCont -> Bool #
interestingCallContext :: SimplEnv -> SimplCont -> CallCtxt #
Constructors
ValArg OutExpr | |
TyArg | |
Fields
| |
CastBy OutCoercion |
addValArgTo :: ArgInfo -> OutExpr -> ArgInfo #
addCastTo :: ArgInfo -> OutCoercion -> ArgInfo #
addTyArgTo :: ArgInfo -> OutType -> ArgInfo #
argInfoExpr :: OutId -> [ArgSpec] -> OutExpr #
argInfoAppArgs :: [ArgSpec] -> [OutExpr] #
abstractFloats :: DynFlags -> TopLevelFlag -> [OutTyVar] -> SimplFloats -> OutExpr -> SimplM ([OutBind], OutExpr) #