Changes between Version 1 and Version 2 of ViewPatterns

Timestamp:

01/24/07 07:30:14 (6 years ago)

Author:

malcolm.wallace@…

Comment:

another concrete syntax option: (pat <- expr)

ViewPatterns

@@ -257 +257 @@
   has :: Eq a => a -> Set a -> Maybe (Set a)
   has x (S xs) | x `elem` xs = Just (xs \\ x)
-                   | otherwise   = Nothing
+               | otherwise   = Nothing
   
   delete :: a -> Set a -> Set a
@@ -318 +318 @@
   f (snoc | x xs) = ..          -- Use "|" instead of "->"
   g (bits 3 | b bs) = ...
+
+  f ((x,xs) <- snoc) = ...  -- More like pattern guards
 }}}