Data.Morphism.Endo

Documentation

newtype Endo s a

Constructors

Endo

Fields

• endo :: s a a

Instances

Category k s => Semigroup (Endo k s a)

Methods

(<>) :: Endo k s a -> Endo k s a -> Endo k s a

sconcat :: NonEmpty (Endo k s a) -> Endo k s a

stimes :: Integral b => b -> Endo k s a -> Endo k s a

Category k s => Monoid (Endo k s a)

Methods

mempty :: Endo k s a

mappend :: Endo k s a -> Endo k s a -> Endo k s a

mconcat :: [Endo k s a] -> Endo k s a

Groupoid k s => Group (Endo k s a)

Methods

invert :: Endo k s a -> Endo k s a