Module

Data.Monoid.Endo

newtype Endo :: forall k. (k -> k -> Type) -> k -> Typenewtype Endo c a

Monoid and semigroup for category endomorphisms.

When c is instantiated with -> this composes functions of type a -> a:

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

Modules: Control.Applicative; Control.Apply; Control.Bind; Control.Category; Control.Monad; Control.Semigroupoid; Data.Boolean; Data.BooleanAlgebra; Data.Bounded; Data.Bounded.Generic; Data.CommutativeRing; Data.DivisionRing; Data.Eq; Data.Eq.Generic; Data.EuclideanRing; Data.Field; Data.Function; Data.Functor; Data.Generic.Rep; Data.HeytingAlgebra; Data.HeytingAlgebra.Generic; Data.Monoid; Data.Monoid.Additive; Data.Monoid.Conj; Data.Monoid.Disj; Data.Monoid.Dual; Data.Monoid.Endo; Data.Monoid.Generic; Data.Monoid.Multiplicative; Data.NaturalTransformation; Data.Ord; Data.Ord.Generic; Data.Ordering; Data.Reflectable; Data.Ring; Data.Ring.Generic; Data.Semigroup; Data.Semigroup.First; Data.Semigroup.Generic; Data.Semigroup.Last; Data.Semiring; Data.Semiring.Generic; Data.Show; Data.Show.Generic; Data.Symbol; Data.Unit; Data.Void; Prelude; Record.Unsafe; Type.Proxy