Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module implements the desugaring pass which replaces ado-notation statements with appropriate calls to pure and apply.
Synopsis
- desugarAdoModule :: forall m. (MonadSupply m, MonadError MultipleErrors m) => Module -> m Module
Documentation
desugarAdoModule :: forall m. (MonadSupply m, MonadError MultipleErrors m) => Module -> m Module Source #
Replace all AdoNotationBind
and AdoNotationValue
constructors with
applications of the pure and apply functions in scope, and all AdoNotationLet
constructors with let expressions.