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