Language.PureScript.Sugar.AdoNotation

This module implements the desugaring pass which replaces ado-notation statements with appropriate calls to pure and apply.

Documentation

desugarAdoModule :: forall m. (MonadSupply m, MonadError MultipleErrors m) => Module -> m Module

Replace all AdoNotationBind and AdoNotationValue constructors with applications of the pure and apply functions in scope, and all AdoNotationLet constructors with let expressions.