[Haskell-cafe] Hoogle totally broken?
Daniel Fischer
daniel.is.fischer at web.de
Sat Jun 14 09:27:09 EDT 2008
Am Samstag, 14. Juni 2008 15:10 schrieb Richard:
> It'd seem that (at least the online version of) Hoogle is totally broken
> and useless. See, for example, the output when looking for:
> Monad m => m a -> (a -> m b) -> m b (i.e. (>>=)'s type)
> over at:
> http://haskell.org/hoogle/?q=Monad+m+%3D>+m+a+->+(a+->+m+b)+->+m+b
>
> Data.Generics.Sche... everywhere :: (a -> a) -> a -> a
> Data.Generics.Sche... everywhere' :: (a -> a) -> a -> a
> Prelude. ($) :: (a -> b) -> a -> b
> Prelude. ($!) :: (a -> b) -> a -> b
> Data.Function. ($) :: (a -> b) -> a -> b
> Prelude. maybe :: b -> (a -> b) -> Maybe a -> b
> Data.Maybe. maybe :: b -> (a -> b) -> Maybe a -> b
>
> ... and so on. (>>=) isn't there at all!?
It's near the bottom of page 4 of the results.
hoogle doesn't do an exact search, it reports all "close enough matches",
which sometimes is less useful than other times. One great thing about
hoogle's notion of 'close enough' is that it includes permutations of
parameters, one less good thing is that it's not particularly faithful to
type constructors.
I think Neil's in the process of writing hoogle 4, which supposedly will be
better with such things. However, in spite of hoogle's quirks and
shortcomings, if you get used to them, it's a very useful tool already.
Cheers,
Daniel
More information about the Haskell-Cafe
mailing list