मैं हास्केल में ऑपरेटर कैसे बना सकता हूं?

Question

एक टर्नरी लॉजिक टेबल बनाना, और मैं ऑपरेटर के लिए अपना स्वयं का फ़ंक्शन बनाना चाहता हूं जिसे मैं <=> पर कॉल करूंगा।

तो, उदाहरण के लिए, मैं यह करना चाहता हूं, लेकिन यह सही नहीं है। ऐसा करने का सही तरीका क्या है?

data Ternary = T | F | M 
deriving (Eq, Show, Ord) 

<=> :: Ternary -> Ternary -> Ternary 
<=> T F = F 
<=> T T = T 
<=> T M = M 
<=> F F = T 
<=> F T = F 
<=> F M = M 
<=> M F = M 
<=> M T = M 
<=> M M = T 

Answer 1

बस अपने ऑपरेटर के आसपास कोष्ठक जोड़ें:

(<=>) :: Ternary -> Ternary -> Ternary 
(<=>) T F = F 
(<=>) T T = T 
(<=>) T M = M 
(<=>) F F = T 
(<=>) F T = F 
(<=>) F M = M 
(<=>) M F = M 
(<=>) M T = M 
(<=>) M M = T 

यह फार्म उपसर्ग को इन्फ़िक्स रूप से यह बदल जाता है। वैकल्पिक रूप से, आप बस परिभाषा इन्फ़िक्स उपयोग कर सकते हैं:

-- Works: 
(<^>) :: Int -> Int -> Int 
a <^> b = a + b 

-- Doesn't work: 
{- 
<^> :: Int -> Int -> Int 
<^> a b = a + b 
-} 

-- Works: 
letters :: Int -> Int -> Int 
letters a b = a + b 

-- Doesn't work: 
{- 
(letters) :: Int -> Int -> Int 
a letters b = a + b 
-} 

मैं वादा करता हूँ, यद्यपि - हास्केल अच्छी तरह से जटिल नियम सीखने लायक है:

प्रतीकों के साथ

(<=>) :: Ternary -> Ternary -> Ternary 
T <=> F = F 
T <=> T = T 
T <=> M = M 
F <=> F = T 
F <=> T = F 
F <=> M = M 
M <=> F = M 
M <=> T = M 
M <=> M = T 

Answer 2

समारोह के नाम के बिना उन की तुलना में अलग वाक्य रचना की है।

Answer 3

आप (लाइन वार) परिभाषा इस प्रकार को आसान बनाने में कर सकते हैं:

data Ternary = T | F | M 
deriving (Eq, Show, Ord) 

(<=>) :: Ternary -> Ternary -> Ternary 
x <=> y = if x == y then T else max x y 

आप परिवर्तन के लिए हो रहे हैं तो:

(<=>) :: Ternary -> Ternary -> Ternary 
T <=> T = T 
F <=> F = T 
M <=> M = T 
M <=> _ = M 
_ <=> M = M 
_ <=> _ = F 

Answer 4

जब से तुम Eq और Ord है, तो आप निम्न कर सकते हैं यह M <=> M == M है, तो आप निम्न कार्य कर सकते हैं:

data Ternary = M | T | F 
deriving (Eq, Show, Ord, Enum) 

(<=>) :: Ternary -> Ternary -> Ternary 
x <=> y = fromEnum $ rem (toEnum x * toEnum y) 3