haskell - Hayoo/Hoogle 不匹配单态/少多态签名与多态签名

Question

例如，我试图了解 Hoogle 和 Hayoo 不匹配是否有根本原因

(b -> c) -> (b' -> c') ->   (b, b') -> (c, c')

至

a b c    -> a b' c'    ->   a (b, b') (c, c')

恰好是 Control.Arrow.*** 的类型:

(***) :: a b c -> a b' c' -> a (b, b') (c, c')

——这可能只是一些尚未实现的东西，还是有一些基本的东西阻止了这种基于类型的搜索的实现？

Answer 1

对于 Hoogle，这似乎是 -> 的结果。被处理。 Issue #64 in the GitHub tracker ，这与我们在这里讨论的内容非常相似，包括 Neil Mitchell 的评论:

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.