Commutative IntSet # | Since: 0.0.2.0 |
Instance detailsDefined in Data.Semigroup.Commutative |
Commutative Void # | |
Instance detailsDefined in Data.Semigroup.Commutative |
Commutative All # | |
Instance detailsDefined in Data.Semigroup.Commutative |
Commutative Any # | |
Instance detailsDefined in Data.Semigroup.Commutative |
Commutative () # | Trivial commutative semigroup. |
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 |
Ord a => Commutative (Set a) # | Since: 0.0.2.0 |
Instance detailsDefined in Data.Semigroup.Commutative |
Commutative a => Commutative (Identity a) # | Identity lifts commutative semigroups pointwise (at only one point).
|
Instance detailsDefined in Data.Semigroup.Commutative |
Commutative a => Commutative (Down 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 |
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) # | Const lifts 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 |