Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
tryEtaExpandRhs :: SimplEnv -> BindContext -> OutId -> OutExpr -> SimplM (ArityType, OutExpr) Source #
wantEtaExpansion :: CoreExpr -> Bool Source #
preInlineUnconditionally :: SimplEnv -> TopLevelFlag -> InId -> InExpr -> StaticEnv -> Maybe SimplEnv Source #
postInlineUnconditionally :: SimplEnv -> BindContext -> OutId -> OccInfo -> OutExpr -> Bool Source #
activeRule :: SimplMode -> Activation -> Bool Source #
updModeForRules :: SimplMode -> SimplMode Source #
Stop | Stop[e] = e |
| |
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 #
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 #