Commutativo monoide dal pacchetto 'algebra' su Hackage

Question

La documentazione per algebra/2.1.1.2/doc/html mostra un numero enorme di classi di tipi.

Come si dichiara che una struttura in questione deve essere dotata di un'operazione associativa commutativa e di un elemento unità/identità, ma senza nient'altro (inversioni, distribuzione ecc.)?

sto pensando di

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

ma le istanze di Data.Monoid non dovrebbero essere commutativa e voglio utenti della mia funzione di vedere che hanno bisogno commutativit'a per la funzione di lavorare guardando il genere.

Answer 1

(Abelian m, Monoidal m)

E ' potrebbe sembrare che Monoidal è molto più di quello che vuoi, ma è tutto basato su Natural che è un Semiring.

Answer 2

Sembra che pacchetto fornisce una classe commutativa, quindi mi corregga se sbaglio, ma sembra che sia solo una questione di specificare un secondo typeclass:

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