Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Semigroup.Commutative

Synopsis

class Semigroup g => Commutative g

Documentation

class Semigroup g => Commutative g #

An Commutative semigroup is a Semigroup that follows the rule:

a <> b == b <> a

Instances

Instances details

Commutative IntSet #	Since: 0.0.2.0
Instance details Defined in Data.Semigroup.Commutative
Commutative () #	Trivial commutative semigroup.
Instance details Defined in Data.Semigroup.Commutative
Commutative a => Commutative (Identity a) #	`Identity` lifts commutative semigroups pointwise (at only one point).
Instance details Defined in Data.Semigroup.Commutative
Commutative a => Commutative (Down a) #
Instance details Defined in Data.Semigroup.Commutative
Commutative a => Commutative (Dual a) #
Instance details Defined in Data.Semigroup.Commutative
CommutativeProduct a => Commutative (Product a) #
Instance details Defined in Data.Semigroup.Commutative
Num a => Commutative (Sum a) #
Instance details Defined in Data.Semigroup.Commutative
Ord a => Commutative (Set a) #	Since: 0.0.2.0
Instance details Defined in Data.Semigroup.Commutative
Commutative a => Commutative (Maybe a) #	Since: 0.0.1.0
Instance details Defined in Data.Semigroup.Commutative
Commutative a => Commutative (Op a b) #
Instance details Defined in Data.Semigroup.Commutative
Commutative (Proxy x) #	Trivial commutative semigroup, Functor style.
Instance details Defined 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 details Defined in Data.Semigroup.Commutative
Commutative b => Commutative (a -> b) #	Functions lift commutative semigroups pointwise.
Instance details Defined in Data.Semigroup.Commutative
Commutative a => Commutative (Const a x) #	`Const` lifts commutative semigroups into a functor.
Instance details Defined in Data.Semigroup.Commutative
(Commutative a, Commutative b, Commutative c) => Commutative (a, b, c) #
Instance details Defined in Data.Semigroup.Commutative
(Commutative (f a), Commutative (g a)) => Commutative ((f :*: g) a) #	Product of commutative semigroups, Functor style.
Instance details Defined in Data.Semigroup.Commutative
(Commutative a, Commutative b, Commutative c, Commutative d) => Commutative (a, b, c, d) #
Instance details Defined in Data.Semigroup.Commutative
Commutative (f (g a)) => Commutative ((f :.: g) a) #
Instance details Defined in Data.Semigroup.Commutative
(Commutative a, Commutative b, Commutative c, Commutative d, Commutative e) => Commutative (a, b, c, d, e) #
Instance details Defined in Data.Semigroup.Commutative