问题标签 [hoogle]

假设我想要一个 type 的函数[[a]] -> [[b]] -> [[(a, b)]]。我确信我可以弄清楚一些事情，但很可能，它不会像，例如， zipWith zip它也有那种类型那么干净。

将这种类型签名输入到 Hoogle 中会给我一些功能来填补这个角色，但它们来自leancheckandextrapolate包，我不想在没有充分理由的情况下将它们拖到我的项目中。

鉴于您可以通过等式推理计算函数组合，我想知道这个过程是否存在逆向：有没有一种方法可以“分解”复杂类型签名并将其简化为最简单的函数组合？

我正在关注大约两年前录制的视频。演讲者输入Either a b -> IO b公共 Hoogle 搜索输入，结果包含（除其他外）：

如果我今天试一下，没有找到这个结果，很可惜。发现了类似的结果，例如

但它们不太容易使用。

这怎么解释？Hoogle 搜索算法变得更严格了吗？要么改变了吗？

我需要安装bhoogle。我已经通过stack install hoogle命令安装了 cabal，并且创建了默认数据库。我不知道如何使用 GUI 运行应用程序。我在我的 Mac 上下载了 bhoogle repo， stack ghci Setup也 stack ghci App/Main没有工作。没有显示 GUI。我认为所有要求都满足了，但是运行应用程序的方法是错误的。

我正在尝试了解在 Haskell 中查找和安装具有有用功能的软件包的工具

假设我在 hoogle 中进行查询并找到一个有趣的函数：https ://hoogle.haskell.org/?hoogle=a+-%3E+%5Ba%5D+-%3E+Int&scope=set%3Astackage

在示例中，我对函数感兴趣

如何找到要安装的软件包名称？

我最终猜测 MissingH 是一个包名，它确实安装了（使用stack install MissingH） 之后，我如何找到要导入的包的名称？

（我问的部分原因是我确实安装了 MissingH，并且无法导入 Data.List.Utils，这很奇怪，因为我之前确实设法安装和导入了其他包。由于当前的答案让我相信我的名字是正确的，我稍后会问另一个问题，试图了解发生了什么）

（我的需要主要是了解如何以可重复的方式找到要安装的内容和要导入的内容。当然，该功能本身很容易替换）

在stackage.org 上liftA2，<*>针对typeclass存在以下循环声明Applicative。

liftA2是可用于站点或站点上的非循环声明<*>。这种完全循环的引用是一种疏忽吗？

更新：

hoogle文档中似乎缺少以下（必要的）澄清声明：

并暗示（由于循环声明）