हैकेज

Question

पर 'बीजगणित' पैकेज से कम्यूटिव मोनोइड algebra/2.1.1.2/doc/html के लिए प्रलेखन एक विशाल संख्या में प्रकार के वर्ग दिखाता है।

मैं कैसे घोषित है कि प्रश्न में एक संरचना है विनिमेय साहचर्य संचालन और एक इकाई/पहचान तत्व के साथ सुसज्जित किया जाना चाहिए, लेकिन कुछ और बिना (प्रतिलोम, distributivity आदि)?

मैं

reduce :: Monoid m => (a -> m) -> [a] -> m 

के बारे में सोच रहा हूँ, लेकिन Data.Monoid के उदाहरण विनिमेय होना चाहिए नहीं कर रहे हैं और मैं अपने समारोह के उपयोगकर्ताओं को देखने के लिए कि वे समारोह के लिए commutativity जरूरत को देखकर काम करना चाहते हैं प्रकार।

Answer 1

(Abelian m, Monoidal m)

यह ऐसा लगता है कि Monoidal आपकी अपेक्षा से कहीं अधिक है, लेकिन यह Natural पर Semiring पर आधारित है।

Answer 2

ऐसा लगता है कि है कि पैकेज, एक विनिमेय वर्ग प्रदान करता है तो मेरे को सही अगर मैं गलत हूँ, लेकिन ऐसा लगता है कि यह एक दूसरे typeclass निर्दिष्ट करने का मामला है जैसे:

reduce :: (Monoid m, Commutative m) => (a -> m) -> [a] -> m