Module

Data.Monoid.Endo

#Endo

newtype 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

Constructors

Endo (c a a)

Instances

(Eq (c a a)) => Eq (Endo c a)
(Ord (c a a)) => Ord (Endo c a)
(Bounded (c a a)) => Bounded (Endo c a)
(Show (c a a)) => Show (Endo c a)
(Semigroupoid c) => Semigroup (Endo c a)
(Category c) => Monoid (Endo c a)

Modules

Control.Alt
Control.Alternative
Control.Applicative
Control.Apply
Control.Biapplicative
Control.Biapply
Control.Bind
Control.Category
Control.Comonad
Control.Extend
Control.Lazy
Control.Monad
Control.Monad.Gen
Control.Monad.Gen.Class
Control.Monad.Gen.Common
Control.Monad.Rec.Class
Control.Monad.ST
Control.Monad.ST.Class
Control.Monad.ST.Global
Control.Monad.ST.Internal
Control.Monad.ST.Ref
Control.MonadPlus
Control.MonadZero
Control.Plus
Control.Semigroupoid
Data.Array
Data.Array.NonEmpty
Data.Array.NonEmpty.Internal
Data.Array.Partial
Data.Array.ST
Data.Array.ST.Iterator
Data.Array.ST.Partial
Data.Bifoldable
Data.Bifunctor
Data.Bifunctor.Clown
Data.Bifunctor.Flip
Data.Bifunctor.Join
Data.Bifunctor.Joker
Data.Bifunctor.Product
Data.Bifunctor.Wrap
Data.Bitraversable
Data.Boolean
Data.BooleanAlgebra
Data.Bounded
Data.Char
Data.Char.Gen
Data.Char.Utils
Data.CommutativeRing
Data.Distributive
Data.DivisionRing
Data.Either
Data.Either.Inject
Data.Either.Nested
Data.Enum
Data.Enum.Gen
Data.Eq
Data.EuclideanRing
Data.Field
Data.Foldable
Data.FoldableWithIndex
Data.Function
Data.Function.Uncurried
Data.Functor
Data.Functor.Invariant
Data.FunctorWithIndex
Data.HeytingAlgebra
Data.Identity
Data.Int
Data.Int.Bits
Data.Maybe
Data.Maybe.First
Data.Maybe.Last
Data.Monoid
Data.Monoid.Additive
Data.Monoid.Alternate
Data.Monoid.Conj
Data.Monoid.Disj
Data.Monoid.Dual
Data.Monoid.Endo
Data.Monoid.Multiplicative
Data.NaturalTransformation
Data.Newtype
Data.NonEmpty
Data.Ord
Data.Ord.Down
Data.Ord.Max
Data.Ord.Min
Data.Ord.Unsafe
Data.Ordering
Data.Ring
Data.Semigroup
Data.Semigroup.First
Data.Semigroup.Foldable
Data.Semigroup.Last
Data.Semigroup.Traversable
Data.Semiring
Data.Show
Data.String
Data.String.CaseInsensitive
Data.String.CodePoints
Data.String.CodeUnits
Data.String.Common
Data.String.Gen
Data.String.NonEmpty
Data.String.NonEmpty.CaseInsensitive
Data.String.NonEmpty.CodePoints
Data.String.NonEmpty.CodeUnits
Data.String.NonEmpty.Internal
Data.String.Pattern
Data.String.Regex
Data.String.Regex.Flags
Data.String.Regex.Unsafe
Data.String.Unsafe
Data.String.Utils
Data.Symbol
Data.Traversable
Data.Traversable.Accum
Data.Traversable.Accum.Internal
Data.TraversableWithIndex
Data.Tuple
Data.Tuple.Nested
Data.Unfoldable
Data.Unfoldable1
Data.Unit
Data.Void
Effect
Effect.Class
Effect.Class.Console
Effect.Console
Effect.Ref
Effect.Uncurried
Effect.Unsafe
Global
Global.Unsafe
MCPrelude
Main
Math
PSCI.Support
Partial
Partial.Unsafe
Prelude
Prim
Prim.Boolean
Prim.Ordering
Prim.Row
Prim.RowList
Prim.Symbol
Prim.TypeError
Record.Unsafe
Type.Data.Row
Type.Data.RowList
Type.Equality
Unsafe.Coerce