2011-11-09 12 views
1

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

+2

私は何も知らない。どのような観測が必要ですか?例えば。 'type Rel a b = a - > b - > Bool'は決定的な関係を表しますが、例えばそうすることはできません。ドメインを列挙する有限の関係のみが必要な場合は簡単ですが、それを超えるとデザインスペースは微妙です。 – luqui

+0

コメントありがとうございました。それでは、どのように関係を実装すべきでしょうか?タイプRel a b、Data.Setまたは矢印付き? – mrsteve

+0

更新、私はgithubで何かを見つけました:https://github.com/fmaste/hgraph/blob/9c7dae7578a1010e63cd6a55efb51ed97e3aa19d/src/Data/Collection/Relation/Binary/Simple.hs – mrsteve

答えて

0

私はちょうど今の私の質問に答えると思います。
https://github.com/fmaste/hgraph/blob/master/src/Data/Collection/Relation/Binary/Simple.hs

それは私が必要なもののために働く必要があります。

はgithubの上の二項関係があります。 ライブラリhgraphは非常に興味深いようですが、残念なことにhackageにはありません。だから私はそれを逃した。

教訓は:
github(直接ウェブサイト上)で検索することは非常に重要です。また、バイナリリレーションシークエンス:github.com "を検索してからgithubがgoogleでよく索引しているとは思われません。(バイナリリレーション" Simple.hs "の検索:github。 comが」動作しません)