Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
preInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> InExpr -> StaticEnv -> Maybe SimplEnv Source #
postInlineUnconditionally :: SimplEnv -> TopLevelFlag -> OutId -> OccInfo -> OutExpr -> Bool Source #
activeRule :: SimplMode -> Activation -> Bool Source #
updModeForRules :: SimplMode -> SimplMode Source #
Stop OutType CallCtxt | |
CastIt OutCoercion SimplCont | |
ApplyToVal | |
ApplyToTy | |
Select | |
StrictBind | |
StrictArg | |
TickIt CoreTickish SimplCont |
Instances
Instances
isSimplified :: DupFlag -> Bool Source #
contIsStop :: SimplCont -> Bool Source #
contIsDupable :: SimplCont -> Bool Source #
contResultType :: SimplCont -> OutType Source #
contHoleType :: SimplCont -> OutType Source #
contHoleScaling :: SimplCont -> Mult Source #
contIsTrivial :: SimplCont -> Bool Source #
mkBoringStop :: OutType -> SimplCont Source #
contIsRhsOrArg :: SimplCont -> Bool Source #
Instances
Instances
argInfoAppArgs :: [ArgSpec] -> [OutExpr] Source #
isStrictArgInfo :: ArgInfo -> Bool Source #
lazyArgContext :: ArgInfo -> CallCtxt Source #
abstractFloats :: UnfoldingOpts -> TopLevelFlag -> [OutTyVar] -> SimplFloats -> OutExpr -> SimplM ([OutBind], OutExpr) Source #
isExitJoinId :: Var -> Bool Source #