पैटर्न मिलान (एस) ओवरलैप हैं - ऑपरेटरों पर पैटर्न मिलान

Question

मैं ऐसी स्थिति में आया हूं जहां मैं ऑपरेटरों पर पैटर्न मिलान करना चाहता हूं। हालांकि, यह जीएचसी के साथ Pattern match(es) are overlapped त्रुटि फेंकता है। मैं समझ नहीं सकता क्यों। ऑपरेटरों पर पैटर्न मिलान की अनुमति नहीं है? मुझे लगता है कि converts it into an identifier कोष्ठक में ऑपरेटर प्रतीक संलग्न करने के बाद, यह काम करना चाहिए था।

test :: (Integer -> Integer -> Integer) -> String 
test (+) = "plus" 
test (-) = "minus" 
test _ = "other" 

मैं अन्य तरीकों से पूरा कर सकता हूं जो मैं करना चाहता हूं। मैं सिर्फ उत्सुक हूं कि यह क्यों काम नहीं करता है।

Answer 1

(+) और (-) प्रकार Integer -> Integer -> Integer की कंस्ट्रक्टर्स नहीं हैं:

• वे निर्माता के नाम
• Integer -> Integer -> Integer एक बीजीय डेटाप्रकार नहीं है नहीं कर रहे हैं

और इसलिए अपने कोड का उपयोग कर किसी भी के बराबर है पहले तर्क को बांधने के लिए अन्य परिवर्तनीय नाम, उदाहरण के लिए

test foo = "plus" 
test bar = "minus" 
test _ = "other" 

जो उम्मीद है कि यह स्पष्ट है कि सभी तीन पैटर्न वास्तव में कुछ भी (और पहले दो बाँध कुछ नाम) से मेल करता है। दूसरे शब्दों में, आपके उदाहरण में पहले पैटर्न (foo, या (+)) के माध्यम से गिरने के लिए कोई रास्ता नहीं है, जिसके कारण यह शेष दो के साथ ओवरलैप हो जाता है।