Algebra.Category.Endo

Documentation

newtype Endo cat a

Constructors

Endo (cat a a)

Instances

(Category cat, Obj cat a) => Monoid (Endo cat a)

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)

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)

Defined in Algebra.Category.Endo

Methods

recip :: Endo cat a -> Endo cat a

(/) :: Endo cat a -> Endo cat a -> Endo cat a

(^) :: Endo cat a -> Integer -> Endo cat a

(Category cat, Obj cat a) => Multiplicative (Endo cat a)

Defined in Algebra.Category.Endo

Methods

(*) :: Endo cat a -> Endo cat a -> Endo cat a

one :: Endo cat a

(^+) :: Endo cat a -> Natural -> Endo cat a