files/practicum/StdDynSet.icl

   1 implementation module StdDynSet
   2
   3 import StdEnv
   4 import StdDynamic
   5
   6 class Set a | TC, ==, toString a
   7
   8 :: Set = Set [Dynamic]
   9
  10 instance zero     Set
  11 where zero = abort "zero instance voor Set nog niet geimplementeerd.\n"
  12
  13 instance toString Set
  14 where toString a = abort "toString instance voor Set nog niet geimplementeerd.\n"
  15
  16 instance == Set
  17 where == a b = abort "== instance voor Set nog niet geimplementeerd.\n"
  18
  19 toSet :: a -> Set | Set a
  20 toSet a = abort "toSet nog niet geimplementeerd.\n"
  21
  22 nrOfElts :: Set -> Int
  23 nrOfElts a = abort "nrOfElts nog niet geimplementeerd.\n"
  24
  25 isEmptySet :: Set -> Bool
  26 isEmptySet a = abort "isEmptySet nog niet geimplementeerd.\n"
  27
  28 memberOfSet :: a Set -> Bool | Set a
  29 memberOfSet x a = abort "memberOfSet nog niet geimplementeerd.\n"
  30
  31 isSubset :: Set Set -> Bool
  32 isSubset a b = abort "isSubset nog niet geimplementeerd.\n"
  33
  34 isStrictSubset :: Set Set -> Bool
  35 isStrictSubset a b = abort "isStrictSubset nog niet geimplementeerd.\n"
  36
  37 union :: Set Set -> Set
  38 union a b = abort "union nog niet geimplementeerd.\n"
  39
  40 intersection :: Set Set -> Set
  41 intersection a b = abort "intersection nog niet geimplementeerd.\n"
  42
  43 without :: Set Set -> Set
  44 without a b = abort "without nog niet geimplementeerd.\n"