monoids-0.1.25: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Monoid.Categorical
Portabilityportable
Stabilityexperimental
Maintainerekmett@gmail.com
Contents
Generalized Endo
Monoids as Categories
Description
Synopsis
module Data.Monoid.Reducer
module Control.Category
data GEndo k a = GEndo {
getGEndo :: k a a
}
data CMonoid m n o
categoryToMonoid :: CMonoid m m m -> m
monoidToCategory :: Monoid m => m -> CMonoid m m m
Documentation
module Data.Monoid.Reducer
module Control.Category
Generalized Endo
data GEndo k a Source
The Monoid of the endomorphisms over some object in an arbitrary Category.
Constructors
GEndo
getGEndo :: k a a
show/hide Instances
Monoids as Categories
data CMonoid m n o Source
A Monoid is just a Category with one object. This fakes that with a GADT
show/hide Instances
categoryToMonoid :: CMonoid m m m -> mSource
Extract the Monoid from its representation as a Category
monoidToCategory :: Monoid m => m -> CMonoid m m mSource
Convert a value in a Monoid into an arrow in a Category.
Produced by Haddock version 2.4.2