Changes between Version 3 and Version 4 of MonadComprehensions

Timestamp:

05/12/11 02:53:05 (2 years ago)

Author:

nsch

Comment:

some examples

MonadComprehensions

@@ -2 +2 @@
 
 Monad comprehensions are currently in development. See ticket #4370.
+
 == Translation rules ==
 
@@ -53 +54 @@
 }}}
 
+=== Examples ===
+
+Some translation examples (using the do notation):
+
+{{{
+[ x+y | x <- Just 1, y <- Just 2 ]
+
+=>
+
+do x <- Just 1
+   y <- Just 2
+   return (x+y)
+}}}
+
+Transform statements:
+
+{{{
+[ x | x <- [1..], then take 10 ]
+
+=>
+
+take 10 (do
+  x <- [1..]
+  return x)
+}}}
+
+Grouping statements (note the change of types):
+
+{{{
+[ (x :: [Int]) | x <- [1,2,1,2], then group by x ] :: [[Int]]
+}}}
+
+Parallel statements:
+
+{{{
+[ x+y | x <- [1,2,3]
+      | y <- [4,5,6] ]
+
+=>
+
+do (x,y) <- mzip [1,2,3] [4,5,6]
+   return (x+y)
+}}}
+
 == Implementation details ==