| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.CoreImp.Optimizer.MagicDo
Description
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 Source #
magicDoEff :: AST -> AST Source #
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(); ... }