Googleで検索し、googleで「site:haskell.org」と検索し、hoogleを使用しました。しかし、何も見つかりませんでした。文法的なフレームワークであるgfの "Data.Relation"を参照するコードがありましたが、それ以上の情報は見つかりませんでした。haskellのバイナリリレーションシップライブラリ
haskellに2項関係のライブラリがありますか?
(私はちょうど推移閉包を見つけることのような基本的なものをやりたい。)
PS:agdaで、標準のlib
で関係を見つけるのは簡単です===編集:===
私は有限の関係しか必要ありません。
関連するすべてのもの(数学的オブジェクト)を取得する関数です。そして、これはまた関係の過渡的な閉鎖を伴う。
LATEST UPDATE:
私は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
私は何も知らない。どのような観測が必要ですか?例えば。 'type Rel a b = a - > b - > Bool'は決定的な関係を表しますが、例えばそうすることはできません。ドメインを列挙する有限の関係のみが必要な場合は簡単ですが、それを超えるとデザインスペースは微妙です。 – luqui
コメントありがとうございました。それでは、どのように関係を実装すべきでしょうか?タイプRel a b、Data.Setまたは矢印付き? – mrsteve
更新、私はgithubで何かを見つけました:https://github.com/fmaste/hgraph/blob/9c7dae7578a1010e63cd6a55efb51ed97e3aa19d/src/Data/Collection/Relation/Binary/Simple.hs – mrsteve