tag:blogger.com,1999:blog-7094652.post16451925465827371..comments2024-03-23T14:36:09.980+00:00Comments on Neil Mitchell's Blog (Haskell etc): Hoogle 4.0 release (beta, command line)Neil Mitchellhttp://www.blogger.com/profile/13084722756124486154noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-7094652.post-74332420447272455122008-08-05T20:02:00.000+01:002008-08-05T20:02:00.000+01:00Benedikt: Searching selective packages is already ...Benedikt: Searching selective packages is already supported, the database just doesn't have the right information in it yet. That's a job for next week, but will be done soon.<BR/><BR/>Re: CInt -> CInt -> CInt, there was a bug in the searching which triggered mainly if you searched for two arguments the same. Try again with the version just released on Hackage and you should have more success.<BR/><BR/>Re: (b -> c) -> (b -> c') -> (b -> (c, c')), the function type -> is handled specially, to deal with things like argument reordering etc, and unfortunately that breaks all the searching by class goodies. I'll file a bug, and hopefully attack it at some point.Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-90670166527730853012008-08-05T19:01:00.000+01:002008-08-05T19:01:00.000+01:00Great work ! Type search results are far better th...Great work ! Type search results are far better than with hoogle 3. For use in development, it would be very nice if one could tell hoogle to search a certain set of installed packages. I think that's even more interesting than searching all of hackage.<BR/><BR/>Here are a few suggestions for the type search (4.0.0.2):<BR/><BR/>hoogle "CInt -> CInt -> CInt"<BR/>Data.Generics.Aliases mkT (#4) -- bad<BR/>...<BR/>Data.Generics.Aliases extB (#4) -- good<BR/>Suggestion: the top-5 results should get a rank > #4<BR/><BR/>hoogle "(b -> c) -> (b -> c') -> (b -> (c, c'))"<BR/>No results found<BR/>Suggestion: Maybe a bit too much to ask for, but this type matches Control.Arrow.&&&benedikthttps://www.blogger.com/profile/03512223939582437227noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-24589894306319002372008-08-05T12:23:00.000+01:002008-08-05T12:23:00.000+01:00Luke: New version released to Hackage which fixes ...Luke: New version released to Hackage which fixes the bug you found. Also a new test case added to the regression suite so it will never happen again. Thanks :-)Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-54638971414158297372008-08-05T11:53:00.000+01:002008-08-05T11:53:00.000+01:00Luke: Thanks very much for the testing. You can ge...Luke: Thanks very much for the testing. You can get indexes of all the packages installed, but its undocumented and requires the latest haddock. I'll be polishing this side with documentation and better commands shortly.<BR/><BR/>As for the bug, woops! It isn't true that alpha renamed searches give the same results, but they should all give mconcat first. I can see why its happening and will have a fix out shortly.Neil Mitchellhttps://www.blogger.com/profile/13084722756124486154noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-86832309844667364422008-08-05T06:26:00.000+01:002008-08-05T06:26:00.000+01:00One rather distressing result:% hoogle 'Monoid...One rather distressing result:<BR/><BR/>% hoogle 'Monoid a => [a] -> a'<BR/>Data.Monoid mconcat :: Monoid a => [a] -> a<BR/><BR/>% hoogle 'Monoid m => [m] -> m'<BR/>Prelude maximum :: Ord a => [a] -> a<BR/><BR/>I expect these two queries to give exactly the same results (in particular, mconcat)Luke Palmerhttps://www.blogger.com/profile/09807388788677769669noreply@blogger.comtag:blogger.com,1999:blog-7094652.post-18034209948289369612008-08-05T06:21:00.000+01:002008-08-05T06:21:00.000+01:00I just played a bit with the command line tool, an...I just played a bit with the command line tool, and had to say: excellent work! The results I got were much closer to what I would expect as compared to Hoogle 3. I also like having it as a command line tool; the web can be slow.<BR/><BR/>How do I get it to index all the packages I have installed? Can I search within the scope of a single package (say, opengl, to thwart the cryptically organized documentation)? Should I wait a bit for all my questions to be answered by a README somewhere? ;-)Luke Palmerhttps://www.blogger.com/profile/09807388788677769669noreply@blogger.com