diff options
Diffstat (limited to 'files/practicum/StdSet.icl')
| -rw-r--r-- | files/practicum/StdSet.icl | 24 |
1 files changed, 2 insertions, 22 deletions
diff --git a/files/practicum/StdSet.icl b/files/practicum/StdSet.icl index 6cad7f1..b152f37 100644 --- a/files/practicum/StdSet.icl +++ b/files/practicum/StdSet.icl @@ -1,25 +1,5 @@ -definition module StdSet
+implementation module StdSet
-import StdClass
+import StdEnv
:: Set a
-
-toSet :: [a] -> Set a | Eq a
-fromSet :: (Set a) -> [a]
-
-isEmptySet :: (Set a) -> Bool
-isDisjoint :: (Set a) (Set a) -> Bool | Eq a
-isSubset :: (Set a) (Set a) -> Bool | Eq a
-isStrictSubset :: (Set a) (Set a) -> Bool | Eq a
-memberOfSet :: a (Set a) -> Bool | Eq a
-union :: (Set a) (Set a) -> Set a | Eq a
-intersection :: (Set a) (Set a) -> Set a | Eq a
-nrOfElements :: (Set a) -> Int
-without :: (Set a) (Set a) -> Set a | Eq a
-
-product :: (Set a) (Set b) -> Set (a,b)
-
-instance zero (Set a)
-instance == (Set a) | Eq a
-
-powerSet :: (Set a) -> Set (Set a)
|