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

magicDo :: 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(); ... }