हास्केल (। :) ऑपरेटर कहां परिभाषित किया गया है?

Question

स्पष्ट रूप से ((.).(.)) ऑपरेटर का सामान्य नाम (.:) है। (.:) कहां परिभाषित किया गया है? या क्या मुझे इसे खुद परिभाषित करना है?

Answer 1

आप अन्य उच्च आदेश फ़ंक्शन रचनाओं के साथ composition लाइब्रेरी में इसे पा सकते हैं। इस ऑपरेटर को base में परिभाषित नहीं किया गया है। आप किसी निर्भरता के रूप में एक (बहुत छोटे) पैकेज में शामिल नहीं करना चाहते हैं, तो बस यह अपने आप को परिभाषित है, हालांकि मैं और अधिक सामान्य संस्करण fmap का उपयोग करता है का प्रयोग करेंगे:

(.:) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b) 
(.:) = fmap fmap fmap 

जो दो परतों के माध्यम से सिर्फ fmap सा समारोह मज़दूरों का। कार्यों के लिए, इन तीनों में से fmap एस (.) पर विशेषज्ञ हैं।