[Haskell-cafe] Re: standard function

Neil Mitchell ndmitchell at gmail.com
Wed Jun 6 10:57:27 EDT 2007


> @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.



More information about the Haskell-Cafe mailing list