reset a3, kut Charlie ;)

[tt2015.git] / a3 / code / Generics / GenMap.dcl

diff --git a/a3/code/Generics/GenMap.dcl b/a3/code/Generics/GenMap.dcl
new file mode 100644 (file)
index 0000000..e2b0e43
--- /dev/null
+++ b/a3/code/Generics/GenMap.dcl
@@ -0,0 +1,8 @@
+definition module GenMap\r
+\r
+import StdGeneric\r
+\r
+generic gMap a b :: .a -> .b\r
+derive gMap c, PAIR, EITHER, CONS, FIELD, OBJECT, {}, {!} \r
+\r
+derive gMap [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r