Changes between Version 11 and Version 12 of ViewPatterns
 Timestamp:
 Jan 24, 2007 1:47:00 PM (10 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

ViewPatterns
v11 v12 257 257 has :: Eq a => a > Set a > Maybe (Set a) 258 258 has x (S xs)  x `elem` xs = Just (xs \\ x) 259  otherwise = Nothing259  otherwise = Nothing 260 260 261 261 delete :: a > Set a > Set a … … 265 265 insert :: a > Set a > Set a 266 266 insert x s@(has x > _) = s 267 insert x s = s267 insert x (S xs) = S (x:xs) 268 268 }}} 269 269 Notice that in the lefthand side `delete x (has x > s)`, the first `x` is a binding occurrence,