gpt4 book ai didi

haskell - 如何在 GHCI 中查找多个导入方法的类型签名

转载 作者:行者123 更新时间:2023-12-02 10:43:32 24 4
gpt4 key购买 nike

我正在使用一个库,我已将其加载到 GHCI 中。

从函数的名称来看,我并不清楚应该使用哪一个;我确信它存在,并且希望查看我可用的函数的类型签名列表。我不知道该怎么做。

  • 我可以通过键入模块名称并在 GHCI 中使用制表符补全来获取库导出的所有函数的列表。
  • Hoogle对我来说没用,因为有问题的图书馆没有被涵盖。不过,胡格尔风格的搜索会很有用。
  • 我知道 GHCI :t ,但它似乎只适用于单个函数,而且我不想对库导出的每个函数都执行此操作。
  • 正在运行 grep -R :: ./*或类似的源目录可能会省略没有显式类型签名的函数。
  • 该库有 Haddock 文档,但它有大约 1000 个函数,分布在数十个子模块中,手动搜​​索所有函数非常繁琐且容易出错。

我愿意尝试任何方法,但显然更喜欢简单、可移植和可重复的方法。

有没有办法找到库中所有导出函数的类型签名?或者找出哪些函数具有包含特定类型的类型签名?

最佳答案

只需使用:browse Module.Name,您就会看到该模块导出的所有值:

> :browse Data.Tagged
newtype Tagged s b = Tagged {unTagged :: b}
asTaggedTypeOf :: s -> Tagged s b -> s
retag :: Tagged s b -> Tagged t b
tagSelf :: a -> Tagged a a
untag :: Tagged s b -> b
untagSelf :: Tagged a a -> a

关于haskell - 如何在 GHCI 中查找多个导入方法的类型签名,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5277563/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com