From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/files/practicum/StdSortList.dcl | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 1415/files/practicum/StdSortList.dcl

(limited to '1415/files/practicum/StdSortList.dcl')

diff --git a/1415/files/practicum/StdSortList.dcl b/1415/files/practicum/StdSortList.dcl
new file mode 100644
index 0000000..46bd238
--- /dev/null
+++ b/1415/files/practicum/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
-- 
cgit v1.2.3