monoids-0.1.2: Lots of Monoids Source code Contents Index

Data.Monoid.Categorical

Synopsis

module Data.Monoid data Endo k a = Endo { getEndo :: k a a } data Mon m n o where Mon :: Monoid m => m -> Mon m a a runMon :: Mon m m m -> m

Documentation

module Data.Monoid

data Endo k a Source

The Monoid of endomorphisms over some object in an arbitrary Category Constructors Endo getEndo :: k a a Instances Category k => Monoid (Endo k a)

data Mon m n o where Source

A Monoid is just a Category with one object. Constructors Mon :: Monoid m => m -> Mon m a a Instances Monoid m => Category (Mon m)

runMon :: Mon m m m -> m Source

Produced by Haddock version 2.4.2