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/Map.dcl | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 1415/files/practicum/Map.dcl (limited to '1415/files/practicum/Map.dcl') diff --git a/1415/files/practicum/Map.dcl b/1415/files/practicum/Map.dcl new file mode 100644 index 0000000..f3fbe43 --- /dev/null +++ b/1415/files/practicum/Map.dcl @@ -0,0 +1,10 @@ +definition module Map + +import BinTree // voor het type Tree en voorbeelden t0 t/m t7 +import Maybe // voor het type Maybe + +class Map c :: ... // exporteer deze type constructor class definitie + +instance Map [] +instance Map Maybe +instance Map Tree -- cgit v1.2.3