Language.Fay.Compiler.Optimizer

Documentation

type FuncArity = (QName, Int)

The arity of a function. Arity here is defined to be the number of arguments that can be directly uncurried from a curried lambda abstraction. So x y z -> if x then (a -> a) else (a -> a) has an arity of 3, not 4.

type Optimize = State OptState

Optimize monad.

data OptState

State.

Constructors

OptState

Fields

optStmts :: [JsStmt]

optUncurry :: [QName]

runOptimizer :: ([JsStmt] -> Optimize [JsStmt]) -> [JsStmt] -> [JsStmt]

Run an optimizer, which may output additional statements.

optimizeToplevel :: [JsStmt] -> Optimize [JsStmt]

Perform any top-level cross-module optimizations and GO DEEP to optimize further.

tco :: [JsStmt] -> [JsStmt]

Perform tail-call optimization.

stripAndUncurry :: [JsStmt] -> Optimize [JsStmt]

Strip redundant forcing from the whole generated code.

walkAndStripForces :: [FuncArity] -> JsExp -> Optimize (Maybe JsExp)

Strip redundant forcing from an application if possible.

applyToExpsInStmts :: ([FuncArity] -> JsExp -> Optimize JsExp) -> [JsStmt] -> Optimize [JsStmt]

Apply the given function to the top-level expressions in the given statements.

applyToExpsInStmt :: [FuncArity] -> ([FuncArity] -> JsExp -> Optimize JsExp) -> JsStmt -> Optimize JsStmt

Apply the given function to the top-level expressions in the given statement.

collectFuncs :: [JsStmt] -> [FuncArity]

Collect functions and their arity from the whole codeset.

expArity :: JsExp -> Int

Get the arity of an expression.

test :: IO ()

uncurryBinding :: [JsStmt] -> QName -> Maybe JsStmt

renameUncurried :: QName -> QName

Rename an uncurried copy of a curried function.