category-0.2.0.1: Categorical types and classes
Data.Morphism.Endo
newtype Endo s a Source #
Constructors
Fields
Instances
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 #
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 #
invert :: Endo k s a -> Endo k s a #