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

desugarDo :: Data d => d -> Either String d

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