Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module implements the desugaring pass which replaces do-notation statements with appropriate calls to bind.
- desugarDoModule :: forall m. (MonadSupply m, MonadError MultipleErrors m) => Module -> m Module
Documentation
desugarDoModule :: forall m. (MonadSupply m, MonadError MultipleErrors m) => Module -> m Module Source #
Replace all DoNotationBind
and DoNotationValue
constructors with
applications of the bind function in scope, and all DoNotationLet
constructors with let expressions.