Data.Monoid.Self

A simple Monoid transformer that takes a Monoid m and produces a new m-Reducer named Self m

This is useful when you have a generator that already contains monoidal values or someone supplies the map to the monoid in the form of a function rather than as a Reducer instance. You can just getSelf . reduce or getSelf . mapReduce f in those scenarios. These behaviors are encapsulated into the fold and foldMap combinators in Data.Monoid.Combinators respectively.

Documentation

newtype Self m

Constructors

Self

Fields

getSelf :: m

Instances

Functor Self

Monoid m => Reducer m (Self m)

Monoid m => Monoid (Self m)

Multiplicative m => Multiplicative (Self m)

MultiplicativeGroup g => MultiplicativeGroup (Self g)

Group a => Group (Self a)