reset a3, kut Charlie ;)

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

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