search

ndmitchell / hoogle

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

Hoogle can't find bisequence unless type constraints are specified #398

Open Des333 opened 1 year ago

Des333 commented 1 year ago

I searched for t (f a) (f b) -> f (t a b) and got:

No results found

If I add type constraints then everything works fine. For (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b) result is:

bisequenceA :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b) bisequence :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)

However such search request (without type constraints!) t a b -> (a -> f c) -> (b -> f d) -> f (t c d) gives expected result:

bifor :: (Bitraversable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f (t c d) biforM :: (Bitraversable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f (t c d)

It seems that everything breaks here -- t (f a) (f b)