diff options
| author | Mart Lubbers | 2015-02-23 16:28:42 +0100 |
|---|---|---|
| committer | Mart Lubbers | 2015-02-23 16:28:42 +0100 |
| commit | 7199ded1d33e3d5541344cfd46472e561af491a5 (patch) | |
| tree | b8108a88a1c809dd5df291d79b7539985dec28a6 /week3/mart/StdSortList.dcl | |
| parent | final commit (diff) | |
began with week 3, 6.5
Diffstat (limited to 'week3/mart/StdSortList.dcl')
| -rw-r--r-- | week3/mart/StdSortList.dcl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/week3/mart/StdSortList.dcl b/week3/mart/StdSortList.dcl new file mode 100644 index 0000000..46bd238 --- /dev/null +++ b/week3/mart/StdSortList.dcl @@ -0,0 +1,18 @@ +definition module StdSortList
+
+import StdClass
+
+:: SortList a
+
+newSortList :: SortList 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
+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
|