[documentation ekmett@gmail.com**20090326234749] { hunk ./dist/doc/html/monoids/Data-Monoid-Categorical.html 88 +>
data Mon m n o where
Mon :: Monoid m => m -> Mon m a a
runMon :: Mon m m m -> m
data Mon m n o whereSource
A Monoid is just a Category with one object. +
Constructors
Mon :: Monoid m => m -> Mon m a a
show/hide Instances
)where - -importPreludehiding((.),id) -importData.Monoid(Monoid,mempty,mappend) -importControl.Category - --- | The 'Monoid' of endomorphisms over some object in an arbitrary 'Category' -dataEndo(~>)a=Endo{getEndo::a~>a} - -instanceCategory(~>)=>Monoid(Endo(~>)a)where -mempty=Endoid -Endof`mappend`Endog=Endo(f.g) - --- | A 'Monoid' is just a 'Category' with one object. --- try to ignore the phantom type parameter available through 'a' -dataMonmabwhere -Mon::Monoidm=>m->Monmaa - -instanceMonoidm=>Category(Monm)where -id=Monmempty -Mona.Monb=Mon(a`mappend`b) +,Mon(Mon) +,runMon +)where + +importPreludehiding((.),id) +importData.Monoid(Monoid,mempty,mappend) +importControl.Category + +-- | The 'Monoid' of endomorphisms over some object in an arbitrary 'Category' +dataEndo(~>)a=Endo{getEndo::a~>a} + +instanceCategory(~>)=>Monoid(Endo(~>)a)where +mempty=Endoid +Endof`mappend`Endog=Endo(f.g) + +-- | A 'Monoid' is just a 'Category' with one object. +dataMonmnowhere +Mon::Monoidm=>m->Monmaa + +runMon::Monmmm->m +runMon(Monm)=m + +instanceMonoidm=>Category(Monm)where +id=Monmempty +Mona.Monb=Mon(a`mappend`b) }
runMon :: Mon m m m -> mSourceMon
1 (Type/Class)Data.Monoid.Categorical
2 (Data Constructor)Data.Monoid.Categorical
runMonData.Monoid.Categorical