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
나는 아무것도 모릅니다. 어떤 종류의 관찰이 필요합니까? 예. '유형 Rel a b = a -> b -> Bool '은 결정적인 관계를 나타내지 만 예를 들면 그렇게 할 수는 없습니다. 도메인을 열거하십시오. 유한 관계 만 필요하면 쉽습니다. 그러나 그 이상으로 디자인 공간은 미묘합니다. – luqui
귀하의 의견에 고마워요 luqui. 그렇다면 관계가 어떻게 구현되어야 하는가? 유형 Rel a b, Data.Set 또는 Arrows? – mrsteve
업데이트, 방금 github에서 찾았습니다. https://github.com/fmaste/hgraph/blob/9c7dae7578a1010e63cd6a55efb51ed97e3aa19d/src/Data/Collection/Relation/Binary/Simple.hs – mrsteve