[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