<br><div class="gmail_quote">On Sat, Jun 14, 2008 at 9:10 AM, Richard <<a href="mailto:mycatownz@foxbox.lurkingfox.co.uk">mycatownz@foxbox.lurkingfox.co.uk</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
It'd seem that (at least the online version of) Hoogle is totally broken<br>
and useless. See, for example, the output when looking for:<br>
Monad m => m a -> (a -> m b) -> m b (i.e. (>>=)'s type)<br>
over at:<br>
<a href="http://haskell.org/hoogle/?q=Monad+m+%3D" target="_blank">http://haskell.org/hoogle/?q=Monad+m+%3D</a>>+m+a+->+(a+->+m+b)+->+m+b<br>
<br>
Data.Generics.Sche... everywhere :: (a -> a) -> a -> a<br>
Data.Generics.Sche... everywhere' :: (a -> a) -> a -> a<br>
Prelude. ($) :: (a -> b) -> a -> b<br>
Prelude. ($!) :: (a -> b) -> a -> b<br>
Data.Function. ($) :: (a -> b) -> a -> b<br>
Prelude. maybe :: b -> (a -> b) -> Maybe a -> b<br>
Data.Maybe. maybe :: b -> (a -> b) -> Maybe a -> b<br>
<br>
... and so on. (>>=) isn't there at all!?<br></blockquote><div><br>It's well-known that the current version of Hoogle doesn't deal well with type constructors, like the 'm' in your type above. However, you're (we're all) in luck, since Neil Mitchell is working on a new version of Hoogle for GSoC as we speak! =)<br>
<br>-Brent<br></div></div><br>