mirror of
https://github.com/KevinMidboe/linguist.git
synced 2025-10-29 09:40:21 +00:00
10 lines
213 B
Plaintext
10 lines
213 B
Plaintext
definition module GenMap
|
|
|
|
import StdGeneric
|
|
|
|
generic gMap a b :: .a -> .b
|
|
derive gMap c, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, {}, {!}
|
|
|
|
derive gMap [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
|
|
|