Language.Syntactic.Constructs.Binding.Optimize

Basic optimization

Documentation

type ConstFolder dom = forall a. ASTF dom a -> a -> ASTF dom a

Constant folder

Given an expression and the statically known value of that expression, returns a (possibly) new expression with the same meaning as the original. Typically, the result will be a Literal, if the relevant type constraints are satisfied.

class Optimize sym where

Basic optimization

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (sym sig -> AST dom sig) -> sym sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Bottom-up optimization of an expression. The optimization performed is up to each instance, but the intention is to provide a sensible set of "always-appropriate" optimizations. The default implementation optimizeSymDefault does only constant folding. This constant folding uses the set of free variables to know when it's static evaluation is possible. Thus it is possible to help constant folding of other constructs by pruning away parts of the syntax tree that are known not to be needed. For example, by replacing (using ordinary Haskell as an example)

if True then a else b

with a, we don't need to report the free variables in b. This, in turn, can lead to more constant folding higher up in the expression.

Instances

Optimize Empty

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Empty sig -> AST dom sig) -> Empty sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Tuple

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Tuple sig -> AST dom sig) -> Tuple sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Select

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Select sig -> AST dom sig) -> Select sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Literal

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Literal sig -> AST dom sig) -> Literal sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Identity

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Identity sig -> AST dom sig) -> Identity sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Construct

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Construct sig -> AST dom sig) -> Construct sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Condition

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Condition sig -> AST dom sig) -> Condition sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Let

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Let sig -> AST dom sig) -> Let sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Lambda

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Lambda sig -> AST dom sig) -> Lambda sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize Variable

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> (Variable sig -> AST dom sig) -> Variable sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

(Optimize sub1, Optimize sub2) => Optimize (sub1 :+: sub2)

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom => ConstFolder dom -> ((sub1 :+: sub2) sig -> AST dom sig) -> (sub1 :+: sub2) sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Optimize dom => Optimize (dom :|| p)

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom0 => ConstFolder dom0 -> ((dom :|| p) sig -> AST dom0 sig) -> (dom :|| p) sig -> Args (AST dom0) sig -> Writer (Set VarId) (ASTF dom0 (DenResult sig))

Optimize dom => Optimize (dom :| p)

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom0 => ConstFolder dom0 -> ((dom :| p) sig -> AST dom0 sig) -> (dom :| p) sig -> Args (AST dom0) sig -> Writer (Set VarId) (ASTF dom0 (DenResult sig))

Optimize dom => Optimize (SubConstr1 c dom p)

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom0 => ConstFolder dom0 -> (SubConstr1 c dom p sig -> AST dom0 sig) -> SubConstr1 c dom p sig -> Args (AST dom0) sig -> Writer (Set VarId) (ASTF dom0 (DenResult sig))

Optimize dom => Optimize (SubConstr2 c dom pa pb)

Defined in Language.Syntactic.Constructs.Binding.Optimize

Methods

optimizeSym :: Optimize' dom0 => ConstFolder dom0 -> (SubConstr2 c dom pa pb sig -> AST dom0 sig) -> SubConstr2 c dom pa pb sig -> Args (AST dom0) sig -> Writer (Set VarId) (ASTF dom0 (DenResult sig))

type Optimize' dom = (Optimize dom, EvalBind dom, AlphaEq dom dom dom [(VarId, VarId)], ConstrainedBy dom Typeable)

optimizeM :: Optimize' dom => ConstFolder dom -> ASTF dom a -> Writer (Set VarId) (ASTF dom a)

optimize :: Optimize' dom => ConstFolder dom -> ASTF dom a -> ASTF dom a

Optimize an expression

optimizeSymDefault :: Optimize' dom => ConstFolder dom -> (sym sig -> AST dom sig) -> sym sig -> Args (AST dom) sig -> Writer (Set VarId) (ASTF dom (DenResult sig))

Convenient default implementation of optimizeSym (uses evalBind to partially evaluate)