[Hs-Generics] Sample code
Bruno Oliveira
bruno.oliveira at comlab.ox.ac.uk
Fri Oct 27 13:12:58 EDT 2006
Hello,
>> something of the type t1 -> t2 -> t3 where
>> t3 = f(t1, t2). Generalization of zip/zipWith. I have never
>> seen that example.
>>
>>
>> Obviously a lot is missing in the above -- in particular, good
>> names for the examples, and the test data. And the idea how to
>> organize the files with examples and test data within our DARCS
>> repository.
>I think these are good examples. The only thing I miss is a generic
>variant
>of map :: (a->b) -> [a]->[b].
Though the generic zipWith function would already demonstrate the power
of the library --- if you can do generic zipWith, you should be able to do
generic map.
Cheers,
Bruno
More information about the Generics
mailing list