如何按类型查找Unison函数?

Question

假设我想搜索一个类型为[k] -> Set k的函数。我试图使用UCM的find命令，但这只允许我按名称搜索。如果我知道我要查找的函数的名称，我就不必搜索它🤣

有类似Haskell的Hoogle吗?

Answer 1

你可以做find : [k] -> Set k。冒号(:)告诉UCM按类型进行搜索。

例如，在我的代码库中:

.> find : [t] -> Set t
1.  base.data.Set.fromList : [k] -> Set k