[Haskell-cafe] Re: standard function

[Neil Mitchell]

Hi

> @Neil: Is there a way to let hoogle find this kind of stuff? It
> would be a quite complex inference though.

Finding map ($ x) - no. As soon as you allow combination of functions
in various combinations, the search space explodes. For every function
you now have id map, id . map f etc - way too many combinations.

As for finding sequence with the (->) instance, thats possible. Hoogle
3 is broken when it comes to Monads and higher-kinded type classes.
I'm working on fixing this, and once that fix is done, its possible
that Hoogle would find the sequence automatically.

Thanks

Neil