Language.PureScript.Sugar.DoNotation

This module implements the desugaring pass which replaces do-notation statements with appropriate calls to (>>=) from the Prelude.Monad type class.

Documentation

desugarDoModule :: Module -> SupplyT (Either ErrorStack) Module

Replace all DoNotationBind and DoNotationValue constructors with applications of the Prelude.(>>=) function, and all DoNotationLet constructors with let expressions.