Haskell:快速追踪外部包的类型或数据构造函数定义

Question

当我学习不熟悉的 Haskell 代码时，有时我会遇到在别处定义的类型和数据构造函数。我会尝试 grepping 我的代码并搜索 Hoogle，这有时会导致快速解释，但通常没有结果。

例如，我花了一个小时试图识别对名为 Object 的数据类型的引用。在 Yesod 代码库中，最后发现它是在 Data.Yaml 包中定义的。

有没有办法使用 GHCi 快速跟踪对其定义的符号引用？也许在解释器中加载相同的模块并在命名空间中搜索未识别的类型构造函数或符号引用？

Answer 1

如果可以在 ghci 中加载代码，只需运行 :i symbol (其中符号可以是类型或值)，它会告诉您它的定义位置，以及任何类实例的定义位置。

如果您无法在 ghci 中加载代码，那么您可以使用 hoogle查一下。我建议安装 hoogle 搜索插件并给它一个非常短的关键字，例如“h”。然后，您只需键入“h 符号”即可获得指向其文档的链接(这也将带您访问源代码)。