哈希克爾的二元關係庫

我在谷歌上搜索，在谷歌搜索「site：haskell.org」，並使用hoogle。但我沒有找到任何東西。有一些代碼在gf語法框架中引用了「Data.Relation」，但我找不到更多信息。哈希克爾的二元關係庫

Haskell中是否存在二元關係庫？

（我只想做基本的東西，就像找到了傳遞閉包）

PS：在AGDA，很容易找到在標準庫關係

===編輯：===
我只需要有限的關係。
只是一個函數來獲取所有相關的東西（數學對象）。這也與關係的傳遞性關閉有關。

最新的更新：
我剛剛發現源二元關係在GitHub代碼：
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

來源

2011-11-09 mrsteve

我不知道任何東西。你需要什麼樣的觀察？例如。 '類型Rel a b = a - > b - > Bool'表示可判斷的關係，但你不能。列舉它的域名。如果你只需要有限的關係，那很容易，但是除此之外，設計空間是微妙的。 – luqui

感謝luqui的評論。那麼如何實現關係呢？使用類型Rel a b，使用Data.Set或使用箭頭？ – mrsteve

更新，我剛剛在github上發現了一些東西：https://github.com/fmaste/hgraph/blob/9c7dae7578a1010e63cd6a55efb51ed97e3aa19d/src/Data/Collection/Relation/Binary/Simple.hs – mrsteve

http://hackage.haskell.org/packages/archive/relacion/0.1/doc/html/Data-Relacion.html

來源

2011-11-09 11:24:20 nponeccop

我想我只是回答我的問題，現在。

有在GitHub上二元關係：
https://github.com/fmaste/hgraph/blob/master/src/Data/Collection/Relation/Binary/Simple.hs

應該爲我所需要的工作。圖書館hgraph看起來非常有趣，但不幸的是它並沒有在hackage上。所以我錯過了它。

所以我們吸取的教訓是：
在github（直接在網站上）搜索非常重要。由於搜索「二元關係haskell站點：github.com」，我們不想得到我想要的結果（甚至搜索「Simple.hs」二進制關係網站：github。 COM」不工作）

來源

2011-11-09 03:09:04 mrsteve

是nponeccop鏈接庫被翻譯成英語，並有效地對Hackage： http://hackage.haskell.org/package/relation

很簡單，並能夠完成任務。

來源

2014-02-12 17:38:43 Lii

哈希克爾的二元關係庫

回答

相關問題