20 Oct
2009
20 Oct
'09
12:53 p.m.
Excerpts from Christian Maeder's message of Tue Oct 20 12:34:23 -0400 2009:
Stephen Tetley schrieb:
Christian Maeder wrote:
Hoogle did not find a function of type:
(b -> b -> b) -> (a -> b) -> (a -> b) -> a -> b
or (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
But maybe such a function is worth being added to Data.Function.
I did not find liftM2 (or liftA2) although I "knew" liftM2 and instance Functor/Monad ((->) a).
Perhaps a useful feature to add to Hoogle would be the ability to print both the generic type instance, and then a "specialized" version based off of the query that was made. Cheers, Edward