Updated w3 to let maximum have O(1)

[fp1415.git] / week3 / camil / StdSortList.dcl

diff --git a/week3/camil/StdSortList.dcl b/week3/camil/StdSortList.dcl
index 46bd238..556dfc0 100644 (file)
--- a/week3/camil/StdSortList.dcl
+++ b/week3/camil/StdSortList.dcl
@@ -4,15 +4,15 @@ import StdClass
 \r
 ::  SortList a\r
 \r
-newSortList   :: SortList a                                    // lege gesorteerde lijst\r
+newSortList   :: SortList a                   | zero a         // lege gesorteerde lijst\r
 memberSort    :: a (SortList a) -> Bool       | Eq, Ord a      // is element van\r
 insertSort    :: a (SortList a) -> SortList a | Ord a          // voeg element toe\r
-removeFirst   :: a (SortList a) -> SortList a | Eq, Ord a      // verwijder eerste voorkomen\r
-removeAll     :: a (SortList a) -> SortList a | Eq, Ord a      // verwijder alle voorkomens\r
+removeFirst   :: a (SortList a) -> SortList a | Eq, Ord, zero a      // verwijder eerste voorkomen\r
+removeAll     :: a (SortList a) -> SortList a | Eq, Ord, zero a      // verwijder alle voorkomens\r
 elements      ::   (SortList a) -> [a]                         // geef alle elementen\r
 count         ::   (SortList a) -> Int                         // aantal elementen\r
 \r
 minimum       ::   (SortList a) -> a                           // huidige minimum waarde\r
 maximum       ::   (SortList a) -> a                           // huidige maximum waarde\r
 \r
-mergeSortList :: (SortList a) (SortList a) -> SortList a | Eq, Ord a // meng gesorteerde lijsten\r
+mergeSortList :: (SortList a) (SortList a) -> SortList a | Eq, Ord, zero a // meng gesorteerde lijsten\r