| Commutative All # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative Any # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative Void # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative IntSet # | Since: 0.0.2.0 | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative () # | Trivial commutative semigroup. | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative a => Commutative (Identity a) # | Identitylifts commutative semigroups pointwise (at only one point).
 | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative a => Commutative (Down a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Ord a => Commutative (Max a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Ord a => Commutative (Min a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| (Commutative a, Monoid a) => Commutative (WrappedMonoid a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative a => Commutative (Dual a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| CommutativeProduct a => Commutative (Product a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Num a => Commutative (Sum a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Ord a => Commutative (Set a) # | Since: 0.0.2.0 | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative a => Commutative (Maybe a) # | Since: 0.0.1.0 | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative a => Commutative (Op a b) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative (Proxy x) # | Trivial commutative semigroup, Functor style. | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| (Commutative a, Commutative b) => Commutative (a, b) # | Product commutative semigroup.
 A Pair of commutative semigroups gives rise to a commutative semigroup | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative b => Commutative (a -> b) # | Functions lift commutative semigroups pointwise. | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative a => Commutative (Const a x) # | Constlifts commutative semigroups into a functor.
 | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| (Commutative a, Commutative b, Commutative c) => Commutative (a, b, c) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| (Commutative (f a), Commutative (g a)) => Commutative ((f :*: g) a) # | Product of commutative semigroups, Functor style. | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| (Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| Commutative (f (g a)) => Commutative ((f :.: g) a) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative | 
| (Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e) # |  | 
| Instance detailsDefined in Data.Semigroup.Commutative |