DDC.Core.Transform.Forward

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

Documentation

data ForwardInfo

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

Typeable ForwardInfo

Monoid ForwardInfo

Pretty ForwardInfo

data FloatControl

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.

Instances

Eq FloatControl

Show FloatControl

data Config a n

Constructors

Config

Fields

configFloatControl :: Lets a n -> FloatControl

configFloatLetBody :: Bool

forwardModule

Arguments

:: Ord n

=> Profile n

Language profile

-> Config a n

-> Module a n

-> TransformResult (Module a n)

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

forwardX

Arguments

:: Ord n

=> Profile n

Language profile.

-> Config a n

-> Exp a n

-> TransformResult (Exp a n)

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