Data.Monoid.Endomorphism

The monoid of endomorphisms over any Category.

Documentation

newtype Endomorphism k a

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

Show (k a a) => Show (Endomorphism k a)

Methods

showsPrec :: Int -> Endomorphism k a -> ShowS

show :: Endomorphism k a -> String

showList :: [Endomorphism k a] -> ShowS

Semigroupoid * k => Semigroup (Endomorphism k a)

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

(Semigroupoid * k, Category * k) => Monoid (Endomorphism k a)

Methods

mempty :: 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)

Methods

invert :: Endomorphism k a -> Endomorphism k a

pow :: Integral x => Endomorphism k a -> x -> Endomorphism k a