files/practicum/StdSet.icl

   1 definition module StdSet
   2
   3 import StdClass
   4
   5 ::      Set a
   6
   7 toSet                   :: [a]             -> Set a | Eq a
   8 fromSet                 :: (Set a)         -> [a]
   9
  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
  19
  20 product                 :: (Set a) (Set b) -> Set (a,b)
  21
  22 instance zero (Set a)
  23 instance ==   (Set a) | Eq a
  24
  25 powerSet                :: (Set a)         -> Set (Set a)