Safe Haskell	None
Language	Haskell98

DDC.Core.Transform.Forward

Description

Float let-bindings with a single use forward into their use-sites.

Synopsis

Documentation

Summary of number of bindings floated.

Constructors

ForwardInfo
Fields infoInspected :: !Int Number of bindings inspected. infoSubsts :: !Int Number of trivial `v1 = v2` bindings inlined. infoBindings :: !Int Number of bindings floated forwards.

Instances

Monoid ForwardInfo Source #
Methods mempty :: ForwardInfo # mappend :: ForwardInfo -> ForwardInfo -> ForwardInfo # mconcat :: [ForwardInfo] -> ForwardInfo #
Pretty ForwardInfo Source #
Associated Types data PrettyMode ForwardInfo :: * # Methods pprDefaultMode :: PrettyMode ForwardInfo # ppr :: ForwardInfo -> Doc # pprPrec :: Int -> ForwardInfo -> Doc # pprModePrec :: PrettyMode ForwardInfo -> Int -> ForwardInfo -> Doc #

Fine control over what should be floated.

Constructors

FloatAllow	Allow binding to be floated, but don't require it.
FloatDeny	Prevent a binding being floated, at all times.
FloatForce	Force a binding to be floated, at all times.
FloatForceUsedOnce	Force a binding to be floated if it's only used once.

Instances

Eq FloatControl Source #
Methods (==) :: FloatControl -> FloatControl -> Bool # (/=) :: FloatControl -> FloatControl -> Bool #
Show FloatControl Source #
Methods showsPrec :: Int -> FloatControl -> ShowS # show :: FloatControl -> String # showList :: [FloatControl] -> ShowS #

Constructors

Config
Fields configFloatControl :: Lets a n -> FloatControl configFloatLetBody :: Bool

Arguments

Float let-bindings in a module with a single use forward into their use sites.

Arguments

Float let-bindings in an expression with a single use forward into their use-sites.