Safe Haskell	Safe-Inferred
Language	Haskell2010

Algebra.Category.Endo

Documentation

newtype Endo cat a Source #

Constructors

Endo (cat a a)

Instances details

(Category cat, Obj cat a) => Monoid (Endo cat a) Source #
Instance details Defined in Algebra.Category.Endo Methods mempty :: Endo cat a # mappend :: Endo cat a -> Endo cat a -> Endo cat a # mconcat :: [Endo cat a] -> Endo cat a #
(Category cat, Obj cat a) => Semigroup (Endo cat a) Source #
Instance details Defined in Algebra.Category.Endo Methods (<>) :: Endo cat a -> Endo cat a -> Endo cat a # sconcat :: NonEmpty (Endo cat a) -> Endo cat a # stimes :: Integral b => b -> Endo cat a -> Endo cat a #
(Dagger cat, Obj cat a) => Division (Endo cat a) Source #
Instance details Defined in Algebra.Category.Endo Methods recip :: Endo cat a -> Endo cat a Source # (/) :: Endo cat a -> Endo cat a -> Endo cat a Source # (^) :: Endo cat a -> Integer -> Endo cat a Source #
(Category cat, Obj cat a) => Multiplicative (Endo cat a) Source #
Instance details Defined in Algebra.Category.Endo Methods (*) :: Endo cat a -> Endo cat a -> Endo cat a Source # one :: Endo cat a Source # (^+) :: Endo cat a -> Natural -> Endo cat a Source #