Changes between Version 13 and Version 14 of ViewPatterns

Timestamp:

01/25/07 00:57:35 (6 years ago)

Author:

simonpj

Comment:

Add the unfoldr example (suggested by Greg Fitzgerald)

ViewPatterns

@@ -123 +123 @@
 }}}
 Here the first argument `p` can be thought of as a pattern passed to `g`, which
-is used to match the second argument of `g`.
+is used to match the second argument of `g`. 
+
+Here is another rather cute example:
+{{{
+unfoldr :: (b -> Maybe (a, b)) -> b -> [a] 
+unfoldr f (f -> (a, b)) = a : unfoldr f b
+unfoldr f other         = []
+}}}
 
 === Possible extension 1: multi-argument view patterns ===