a3/code/Generics/GenReduce.dcl

   1 definition module GenReduce
   2
   3 import StdGeneric
   4
   5 generic gReduce t :: (a a -> a) a  t -> a
   6 derive gReduce c, PAIR, EITHER, CONS, FIELD, OBJECT
   7 derive gReduce [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
   8
   9 generic gReduceRSt t :: .t .st -> .st
  10 derive gReduceRSt c, PAIR, EITHER, CONS, FIELD, OBJECT
  11 derive gReduceRSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
  12
  13 generic gReduceLSt t :: .t .st -> .st
  14 derive gReduceLSt c, PAIR, EITHER, CONS, FIELD, OBJECT
  15 derive gReduceLSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
  16
  17