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