Data.Morphism.Endo

Documentation

newtype Endo s a

Constructors

Endo

Fields

• endo :: s a a

Instances

Category s => Semigroup (Endo s a)

Defined in Data.Morphism.Endo

Methods

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

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

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

Category s => Monoid (Endo s a)

Defined in Data.Morphism.Endo

Methods

mempty :: Endo s a

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

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

Groupoid s => Group (Endo s a)

Defined in Data.Morphism.Endo

Methods

invert :: Endo s a -> Endo s a