Data.Semigroup.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

Foldable Self

Traversable Self

Traversable1 Self

Foldable1 Self

(Semigroup (Self m), Semigroup m) => Reducer m (Self m)

Monoid m => Monoid (Self m)

Semigroup m => Semigroup (Self m)