Safe Haskell | None |
---|
This module implements the desugaring pass which replaces do-notation statements with appropriate calls to (>>=) from the Prelude.Monad type class.
- desugarDoModule :: Module -> SupplyT (Either ErrorStack) Module
Documentation
desugarDoModule :: Module -> SupplyT (Either ErrorStack) ModuleSource
Replace all DoNotationBind
and DoNotationValue
constructors with applications of the Prelude.(>>=) function,
and all DoNotationLet
constructors with let expressions.