search

ndmitchell / hoogle

Haskell API search engine
http://hoogle.haskell.org/
Other
753 stars 137 forks source link

`[Parser a]->Parser a` does not work #90

Open ggreif opened 10 years ago

ggreif commented 10 years ago

The query [Parser a]->Parser a does not result in any hits. This is a pity, since choice has this signature, with this query substituted in.

ndmitchell commented 10 years ago

Which function were you hoping for - this one: http://hackage.haskell.org/package/parsec-3.0.1/docs/Text-ParserCombinators-Parsec-Combinator.html#v:choice ?

ggreif commented 10 years ago

Exactly. IIRC I referenced it

Edit: only referenced it by name, but yes, that is it.

On 11/2/14, Neil Mitchell notifications@github.com wrote:

Which function were you hoping for - this one: http://hackage.haskell.org/package/parsec-3.0.1/docs/Text-ParserCombinators-Parsec-Combinator.html#v:choice ?

Reply to this email directly or view it on GitHub: https://github.com/ndmitchell/hoogle/issues/90#issuecomment-61424140

ndmitchell commented 10 years ago

Ah, I missed the search for name after, got a bit confused. I suspect the issue here is that I'm failing to eta-expand the type synonym properly. I'll take a look next time I'm working on Hoogle.