Data.Semigroup.Additive

Documentation

class Semigroup q => Additive q

An Additive Semigroup is one where (<>) is commutative

Instances

Additive ()

Trivial additive semigroup.

Defined in Data.Semigroup.Additive

Additive a => Additive (Identity a)

Identity lifts additive semigroups pointwise (at only one point)

Defined in Data.Semigroup.Additive

Additive b => Additive (a -> b)

Functions lift additive semigroups pointwise.

Defined in Data.Semigroup.Additive

(Additive a, Additive b) => Additive (a, b)

Product additive semigroup. A Pair of additive semigroups gives rise to a additive semigroup

Defined in Data.Semigroup.Additive

Additive (Proxy x)

Trivial additive semigroup, Functor style

Defined in Data.Semigroup.Additive

Additive a => Additive (Const a x)

Const lifts additive semigroups into a functor.

Defined in Data.Semigroup.Additive

(Additive (f a), Additive (g a)) => Additive ((f :*: g) a)

Product of additive semigroups, Functor style.

Defined in Data.Semigroup.Additive

Additive (f (g a)) => Additive ((f :.: g) a)

Defined in Data.Semigroup.Additive