a3/code/Generics/GenMapSt.dcl

   1 definition module GenMapSt
   2
   3 import StdGeneric
   4
   5 generic gMapLSt a b :: .a .st -> (.b, .st)
   6 derive gMapLSt c, PAIR, EITHER, FIELD, CONS, OBJECT, {}, {!}
   7 derive gMapLSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
   8
   9 generic gMapRSt a b :: .a .st -> (.b, .st)
  10 derive gMapRSt c, PAIR, EITHER, FIELD, CONS, OBJECT, {}, {!}
  11 derive gMapRSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
  12