我在google上搜索，在google上用“site：haskell.org”搜索，并使用了hoogle。但我没有找到任何东西。有些代码在gf（语法框架）中引用了“Data.Relation”，但我找不到更多信息。
haskell中是否有二元关系库？
（我只想做基本的事情，比如找到传递闭包。）
ps：在agda中，很容易在标准库中找到关系
===编辑：===
我只需要有限的关系
只是一个获取所有相关事物（数学对象）的函数。这也与关系的传递性关闭有关。
最新更新：
我刚刚在github上找到了Binary Relations的源代码：
https://github.com/fmaste/hgraph/blob/master/src/Data/Collection/Relation/Binary.hs
https://github.com/fmaste/hgraph/blob/master/src/Data/Collection/Relation/Binary/Simple.hs https://github.com/search?langOverride=&language=Haskell&q=relation&repo=&start_value=1&type=Code&x=0&y=0
答案 0 :(得分：0)
我想我现在只是回答我的问题。
github上有二元关系：
https://github.com/fmaste/hgraph/blob/master/src/Data/Collection/Relation/Binary/Simple.hs
它应该适用于我需要的东西。 图书馆的图表看起来非常有趣，但不幸的是它不是在讨价还价。所以我错过了。
所以吸取的教训是：
搜索github（直接在网站上）是非常重要的。似乎github并不是谷歌的索引，因为搜索“二元关系haskell site：github.com”不会得到我想要的结果（甚至搜索'二进制关系'Simple.hs“site：github。 com'不起作用。）
答案 1 :(得分：0)
答案 2 :(得分：0)
nponeccop链接到的库被翻译成英文并且在Hackage上有效： http://hackage.haskell.org/package/relation
这很简单，可以完成工作。