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

Copyright(c) 2013-2015 diagrams-core team (see LICENSE)
LicenseBSD-style (see LICENSE)
Maintainerdiagrams-discuss@googlegroups.com
Safe HaskellSafe
LanguageHaskell2010

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 

Fields

getEndomorphism :: k a a
 

Instances