डेटा प्रकार (हास्केल)

Question

के लिए अपने स्वयं के ऑर्ड को परिभाषित करना मैं ग्राफ पहेली को हल करने के लिए कुछ डेटा संरचनाएं करने का प्रयास कर रहा हूं। मैं किनारे के तुलना मानदंड को परिभाषित करने की कोशिश कर रहा हूं, लेकिन मुझे यकीन नहीं है कि कैसे। अब तक:

data Edge = Edge (Set String) Bool 

मैं संकलक जाने कैसे बताऊँ पता है कि मैं किनारों बराबर घोषित किया है अगर वे तार के समान सेट है, और समानता नहीं चाहते बूलियन मान से कोई लेना देना है?

Answer 1

हालांकि मुझे यकीन है कि तुम क्यों बूलियन मान (मैं उत्सुक हूँ) की अनदेखी करने, आप अपने खुद Eq उदाहरण परिभाषित करना होगा ऐसा करना चाहते हैं नहीं कर रहा हूँ; डिफ़ॉल्ट एक काम नहीं करेगा, क्योंकि यह हर क्षेत्र की तुलना करता है। सौभाग्य से, यह आसान है:

instance Eq Edge where 
    (Edge s1 _) == (Edge s2 _) = s1 == s2 

आप किनारों ऑर्डर करने के लिए सक्षम होना चाहते हैं, और आप आदेश भी सिर्फ सेट की तुलना करना चाहते तो अपने क्रियान्वयन बहुत समान है:

instance Ord Edge where 
    (Edge s1 _) `compare` (Edge s2 _) = s1 `compare` s2 

प्रत्येक प्रकार वर्ग विधियों के एक निश्चित सेट को परिभाषित करता है जिसे लागू करने की आवश्यकता है; Eq== या /= की आवश्यकता है, और Ord को <= या compare की आवश्यकता है। (यह जानने के लिए कि कौन से फ़ंक्शंस आवश्यक हैं और जो वैकल्पिक हैं, आप दस्तावेज़ों को देख सकते हैं।)

Answer 2

import Data.Set 

data Edge = Edge (Set String) Bool deriving Show 

instance Eq Edge where 
    (Edge a _) == (Edge b _) = a == b 

instance Ord Edge where 
    compare (Edge a _) (Edge b _) = compare a b