6 Jun
2007
6 Jun
'07
10:57 a.m.
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