A Commutative semigroup is a Semigroup that follows the rule:
a <> b == b <> aInstances25Commutative, …
Commutative IntSetDefined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative VoidDefined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative AllDefined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative AnyDefined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative ()Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeTrivial commutative semigroup.
Commutative a => Commutative (Identity a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeIdentity lifts commutative semigroups pointwise (at only one point).
Commutative a => Commutative (Down a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative a => Commutative (Dual a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative a => Commutative (Maybe a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutativeProduct a => Commutative (Product a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeOrd a => Commutative (Max a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeOrd a => Commutative (Min a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeOrd a => Commutative (Set a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeNum a => Commutative (Sum a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.Commutative(Commutative a, Monoid a) => Commutative (WrappedMonoid a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative (Proxy x)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeTrivial commutative semigroup, Functor style.
Commutative a => Commutative (Op a b)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative b => Commutative (a -> b)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeFunctions lift commutative semigroups pointwise.
(Commutative a, Commutative b) => Commutative (a, b)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeProduct commutative semigroup. A Pair of commutative semigroups gives rise to a commutative semigroup
Commutative a => Commutative (Const a x)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeConst lifts commutative semigroups into a functor.
(Commutative a, Commutative b, Commutative c) => Commutative (a, b, c)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.Commutative(Commutative (f a), Commutative (g a)) => Commutative ((:*:) f g a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeProduct of commutative semigroups, Functor style.
(Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.CommutativeCommutative (f (g a)) => Commutative ((:.:) f g a)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.Commutative(Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e)Defined in commutative-semigroups-0.2.0.2 · Data.Semigroup.Commutative