category-0.2.5.0: Categorical types and classes

Safe HaskellSafe
LanguageHaskell2010

Data.Morphism.Endo

Documentation

newtype Endo s a Source #

Constructors

Endo 

Fields

Instances
Category s => Semigroup (Endo s a) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

Defined in Data.Morphism.Endo

Methods

invert :: Endo s a -> Endo s a #