reset a3, kut Charlie ;)

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

diff --git a/a3/code/Generics/GenZip.dcl b/a3/code/Generics/GenZip.dcl
new file mode 100644 (file)
index 0000000..9170a69
--- /dev/null
+++ b/a3/code/Generics/GenZip.dcl
@@ -0,0 +1,11 @@
+definition module GenZip\r
+\r
+import StdMaybe, StdGeneric\r
+\r
+generic gZip a b c :: .a .b -> .c\r
+derive gZip Int, Bool, Char, Real, String, UNIT, EITHER, PAIR, CONS, FIELD, OBJECT\r
+derive gZip [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
+\r
+generic gMaybeZip a b c :: .a .b -> Maybe .c\r
+derive gMaybeZip Int, Char, Bool, Real, String, UNIT, EITHER, PAIR, CONS, FIELD, OBJECT\r
+derive gMaybeZip [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r