Language.PureScript.CoreImp.Optimizer.MagicDo

This module implements the "Magic Do" optimization, which inlines calls to return and bind for the Eff monad, as well as some of its actions.

Documentation

magicDoEffect :: AST -> AST

magicDoEff :: AST -> AST

Inline type class dictionaries for >>= and return for the Eff monad

E.g.

Prelude[">>="](dict)(m1)(function(x) { return ...; })

becomes

function __do { var x = m1(); ... }

magicDoST :: AST -> AST

inlineST :: AST -> AST

Inline functions in the ST module