"==" का उपयोग किये बिना "ईक" प्रकार की बाधा क्यों जोड़ें?

Question

तो, मेरे पास एक बहुत ही सरल कार्य है जो दो पैरामीटर लेता है: पहला एक घंटा (0 और 23 के बीच) होता है और दूसरा एक मिनट (0 और 59 के बीच) होता है। यह फ़ंक्शन घंटे और एक मिनट लौटाता है, और एक सुंदर शैली में घंटे को प्रारूपित करता है। उदाहरण के लिए, hour 11 12 वापसी 11 heures et 13 minutes। घंटे के फ्रेंच प्रारूप के लिए खेद है।

तो, मैं इस फ़ंक्शन में show फ़ंक्शन का उपयोग करता हूं, और पैरामीटर को एक संख्या होने की आवश्यकता है, इसलिए मेरे पास (Num a, Show a) => a -> a -> String प्रकार की घोषणा है। लेकिन, जब मैं समारोह की कोशिश, मैं एक त्रुटि हो गया और GHC Eq प्रकार बाधा जोड़ने के लिए मुझसे कहते हैं, लेकिन मुझे समझ नहीं आता क्यों मैं इस मामले में Eq प्रकार बाधा की जरूरत है। वहाँ कोड (फिर से, फ्रेंच समारोह में इस्तेमाल किया पाठ के लिए खेद है, लेकिन मुझे लगता है कि यह बहुत महत्वपूर्ण नहीं है अगर आप समारोह नाम और पाठ समझ में नहीं आता) है:

heure :: (Num a, Eq a, Show a) => a -> a -> String 
heure 23 59 = "Minuit" 
heure 12 m = "Midi et " ++ show (m+1) ++ " minutes" 
heure h 59 = show (h+1) ++ " heures" 
heure h m = show h ++ " heures et " ++ show (m+1) ++ " minutes" 

तो: अगर मैं Eq का उपयोग न करें, मुझे एक त्रुटि है और जब मैं इसका उपयोग करता हूं तो मेरा कोड सही है। क्यूं कर?

अपने स्पष्टीकरण के लिए धन्यवाद!

Answer 1

आप क्योंकि आप जाँच कर रहे हैं कि क्या h23 या 12 के बराबर है और क्या m59 के बराबर है Eq बाधा की जरूरत है। आप इसे पैटर्न मिलान का उपयोग कर कर रहे हैं, == नहीं, लेकिन संख्यात्मक अक्षरों के खिलाफ पैटर्न मिलान करने के लिए अभी भी Eq (रचनाकारों के खिलाफ पैटर्न मिलान के विपरीत) की आवश्यकता है।