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