blob: 271828e8b649e3f34d6ba724fa38e0b33760781d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
module Set (
Set,
member,
empty, singleton, delete,
union, unions,
elems, fromList
) where
#if __GLASGOW_HASKELL__ < 503
import Set
#else
import Data.Set
#endif
#if __GLASGOW_HASKELL__ < 603
member :: Ord a => a -> Set a -> Bool
member = elementOf
empty :: Set a
empty = emptySet
singleton :: a -> Set a
singleton = unitSet
delete :: Ord a => a -> Set a -> Set a
delete = flip delFromSet
unions :: Ord a => [Set a] -> Set a
unions = unionManySets
elems :: Set a -> [a]
elems = setToList
fromList :: Ord a => [a] -> Set a
fromList = mkSet
#endif
|
