1 definition module StdSet
7 toSet :: [a] -> Set a | Eq a
8 fromSet :: (Set a) -> [a]
10 isEmptySet :: (Set a) -> Bool
11 isDisjoint :: (Set a) (Set a) -> Bool | Eq a
12 isSubset :: (Set a) (Set a) -> Bool | Eq a
13 isStrictSubset :: (Set a) (Set a) -> Bool | Eq a
14 memberOfSet :: a (Set a) -> Bool | Eq a
15 union :: (Set a) (Set a) -> Set a | Eq a
16 intersection :: (Set a) (Set a) -> Set a | Eq a
17 nrOfElements :: (Set a) -> Int
18 without :: (Set a) (Set a) -> Set a | Eq a
20 product :: (Set a) (Set b) -> Set (a,b)
23 instance == (Set a) | Eq a
25 powerSet :: (Set a) -> Set (Set a) | Eq a