Changes between Version 31 and Version 32 of ViewPatterns
- Timestamp:
- 07/23/07 07:38:34 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ViewPatterns
v31 v32 164 164 165 165 insert :: a -> Set a -> Set a 166 insert x s@(has x -> _) = s167 insert x (S xs) = S (x:xs)166 insert x s@(has x -> Just _) = s 167 insert x (S xs) = S (x:xs) 168 168 }}} 169 169
