StdGeneric.dcl.patch 533 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
--- StdGeneric.dcl	2018-12-17 02:43:55.000000000 +0100
+++ StdGeneric.dcl	2018-12-17 11:06:09.196234236 +0100
@@ -64,6 +64,16 @@
 derive bimap FIELD
 derive bimap (->)
 
+generic binumap a b | binumap b a :: a -> b
+derive binumap c
+derive binumap PAIR
+derive binumap EITHER
+derive binumap OBJECT
+derive binumap CONS
+derive binumap RECORD
+derive binumap FIELD
+derive binumap (->)
+
 // HACK: dictionaries for all generics.
 // It works since all generic classes have only one method and do not inherit 
 // from other classes