Copyright  (c) 20132015 diagramscore team (see LICENSE) 

License  BSDstyle (see LICENSE) 
Maintainer  diagramsdiscuss@googlegroups.com 
Safe Haskell  Safe 
Language  Haskell2010 
The monoid of endomorphisms over any Category
.
 newtype Endomorphism k a = Endomorphism {
 getEndomorphism :: k a a
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.
Endomorphism  

Show (k a a) => Show (Endomorphism k a) Source #  
Semigroupoid * k => Semigroup (Endomorphism k a) Source #  
Category * k => Monoid (Endomorphism k a) Source #  
(Category * k, Groupoid * k) => Group (Endomorphism k a) Source #  