2011-11-09 3 views
1

Google에서 검색하고 google에서 "site : haskell.org"로 검색하고 hoogle을 사용했습니다. 하지만 아무것도 찾지 못했습니다. 문법적 프레임 워크 인 gf에서 "Data.Relation"을 참조하는 코드가 있지만 추가 정보를 찾을 수 없습니다.haskell에서 이진 관계에 대한 라이브러리

haskell에 이진 관계에 대한 라이브러리가 있습니까?

(. 난 그냥 전이 폐쇄를 찾는처럼 기본적인 물건을 수행 할)

추신 : AGDA, 표준 LIB의 관계를 쉽게 찾을 수

=== 편집 : ===
유한 한 관계 만 있으면됩니다.
모든 관련 물건 (수학적 개체)을 가져 오는 함수. 그리고 이것 또한 관계의 전이 폐쇄와 함께.

최신 업데이트 : 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

나는 아무것도 모릅니다. 어떤 종류의 관찰이 필요합니까? 예. '유형 Rel a b = a -> b -> Bool '은 결정적인 관계를 나타내지 만 예를 들면 그렇게 할 수는 없습니다. 도메인을 열거하십시오. 유한 관계 만 필요하면 쉽습니다. 그러나 그 이상으로 디자인 공간은 미묘합니다. – luqui

+0

귀하의 의견에 고마워요 luqui. 그렇다면 관계가 어떻게 구현되어야 하는가? 유형 Rel a b, Data.Set 또는 Arrows? – 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은 "binary relationship haskell site : github.com"을 검색 한 결과 google에서 색인이 잘 나지 않는 것으로 보입니다. 원하는 결과를 얻지 못했습니다 (심지어 'binary relation "Simple.hs"site : github. COM은 '작동하지 않습니다)

관련 문제