Module

Data.Monoid.Endo

Package
purescript-monoidDEPRECATED
Repository
purescript/purescript-monoid

#Endo Source

newtype Endo a

Monoid of endomorphisms under composition.

For a generalization to all instances of Semigroupoid and Category see Data.Profunctor.Join.

Composes of functions of type a -> a:

Endo f <> Endo g == Endo (f <<< g)
mempty :: Endo _ == Endo id

Constructors

Instances