monoid-extras-0.4.2: Various extra monoid-related definitions and utilities

Data.Monoid.Endomorphism

Description

The monoid of endomorphisms over any Category.

Synopsis

# Documentation

newtype Endomorphism k a Source #

An Endomorphism in a given Category is a morphism from some object to itself. The set of endomorphisms for a particular object form a monoid, with composition as the combining operation and the identity morphism as the identity element.

Constructors

 Endomorphism FieldsgetEndomorphism :: k a a

Instances

 Show (k a a) => Show (Endomorphism k a) Source # MethodsshowsPrec :: Int -> Endomorphism k a -> ShowS #show :: Endomorphism k a -> String #showList :: [Endomorphism k a] -> ShowS # Semigroupoid * k => Semigroup (Endomorphism k a) Source # Methods(<>) :: Endomorphism k a -> Endomorphism k a -> Endomorphism k a #sconcat :: NonEmpty (Endomorphism k a) -> Endomorphism k a #stimes :: Integral b => b -> Endomorphism k a -> Endomorphism k a # Category * k => Monoid (Endomorphism k a) Source # Methodsmempty :: Endomorphism k a #mappend :: Endomorphism k a -> Endomorphism k a -> Endomorphism k a #mconcat :: [Endomorphism k a] -> Endomorphism k a # (Category * k, Groupoid * k) => Group (Endomorphism k a) Source # Methodsinvert :: Endomorphism k a -> Endomorphism k a #pow :: Integral x => Endomorphism k a -> x -> Endomorphism k a #