category-0.2.5.0: Categorical types and classes
Data.Morphism.Endo
newtype Endo s a Source #
Constructors
Fields
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 #
mempty :: Endo s a #
mappend :: Endo s a -> Endo s a -> Endo s a #
mconcat :: [Endo s a] -> Endo s a #
invert :: Endo s a -> Endo s a #