Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Functional.Sharing

Contents

Interface
Code motion

Description

Simple code motion transformation performing common sub-expression elimination and variable hoisting. Note that the implementation is very inefficient.

The code is based on an implementation by Gergely Dévai.

Synopsis

Interface

data InjDict sym a b Source

Interface for injecting binding constructs

Constructors

InjDict
Fields injVariable :: Name -> sym (Full a) Inject a variable injLambda :: Name -> sym (b :-> Full (a -> b)) Inject a lambda injLet :: sym (a :-> ((a -> b) :-> Full b)) Inject a "let" symbol

data CodeMotionInterface sym Source

Code motion interface

Constructors

Interface

Fields

mkInjDict :: forall a b. ASTF sym a -> ASTF sym b -> Maybe (InjDict sym a b): Try to construct an InjDict. The first argument is the expression to be shared, and the second argument the expression in which it will be shared. This function can be used to transfer information (e.g. from static analysis) from the shared expression to the introduced variable.
castExprCM :: forall a b. ASTF sym a -> ASTF sym b -> Maybe (ASTF sym b): Try to type cast an expression. The first argument is the expression to cast. The second argument can be used to construct a witness to support the casting. The resulting expression (if any) should be equal to the first argument.
hoistOver :: forall c. ASTF sym c -> Bool: Whether a sub-expression can be hoisted over the given expression

defaultInterface Source

Arguments

:: (Binding :<: sym, Let :<: sym, symT ~ Typed sym)
=> (forall a b. ASTF symT a -> ASTF symT b -> Bool)	Can the expression represented by the first argument be shared in the second argument?
-> (forall a. ASTF symT a -> Bool)	Can we hoist over this expression?
-> CodeMotionInterface symT

Default CodeMotionInterface for domains of the form Typed (... :+: Binding :+: ...).

defaultInterfaceT Source

Arguments

:: (BindingT :<: sym, Let :<: sym, symT ~ Typed sym)
=> (forall a b. ASTF symT a -> ASTF symT b -> Bool)	Can the expression represented by the first argument be shared in the second argument?
-> (forall a. ASTF symT a -> Bool)	Can we hoist over this expression?
-> CodeMotionInterface symT

Default CodeMotionInterface for domains of the form Typed (... :+: BindingT :+: ...).

Code motion

codeMotion :: forall sym m a. (Equality sym, BindingDomain sym) => CodeMotionInterface sym -> ASTF sym a -> ASTF sym a Source

Perform common sub-expression elimination and variable hoisting