You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
How does do-notation desugar to (transformers of) monads? What syntax is available in do-notation and its associated control structures? What is the definition of being in the "same do-block"?
The reference manual should not describe programming with monads in general; that's best left to other materials such as FPiL.
The text was updated successfully, but these errors were encountered:
What question should the reference manual answer?
How does
do
-notation desugar to (transformers of) monads? What syntax is available indo
-notation and its associated control structures? What is the definition of being in the "samedo
-block"?The reference manual should not describe programming with monads in general; that's best left to other materials such as FPiL.
The text was updated successfully, but these errors were encountered: