search

ndmitchell / hoogle

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

hoogle does not find ArrowChoice functions when searching for the (->) instance #64

Open ibotty opened 10 years ago

ibotty commented 10 years ago

looking for 

(a -> a') -> Either a b -> Either a' b

should find

left :: ArrowChoice a => a b c -> a (Either b d) (Either c d)

but it doesn't. the same applies for (+++) (aka bimap for Either)

ndmitchell commented 10 years ago

Currently I quickly split out the result type from the arguments. I guess one approach would be to find instances for -> and pregenerate a version with -> substituted in.

erikkaplun commented 9 years ago

just referencing one of my own SO questions as it seems relevant: http://stackoverflow.com/questions/33234878/hayoo-hoogle-not-matching-monomorphic-less-polymorphic-signatures-with-polymorph