Hoogle not finding function when I loosen type constraints about hoogle HOT 5 OPEN

I have also tried the search online : http://www.haskell.org/hoogle/?hoogle=%3a%3a+ByteString+%2bByteString.Lazy.Char8&start=41#more and readInt is not returned

from hoogle.

Just :: ByteString is not a loser constraint - I suspect you are after :: ByteString -> a as the loser result? Hoogle is quite strict about the last type mentioned being the return type, and won't search through that.

from hoogle.

Hi, hoogle +Data.ByteString.Lazy.Char8 ":: ByteString -> a" | grep readInt also outputs nothing. Thanks.

from hoogle.

Looking closer, that is a case of a not being "similar enough" to Maybe (Int, ByteString). I have plans to introduce a _ variable to indicate that you don't care anything about the structure of the type, but haven't got anywhere with that yet.

from hoogle.

OK thanks. On a separate note, do you have any idea why the search hoogle +Data.Vector ":: Int" yields nothing (see also http://www.haskell.org/hoogle/?hoogle=%3A%3A+Int+%2BData.Vector)? I would have thought that it should atleast return length in http://hackage.haskell.org/package/vector-0.10.11.0/docs/Data-Vector.html ?

from hoogle.