data-category-0.2.0: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Monoid

Description

A monoid as a category with one object.

Synopsis

Documentation

data MonoidA m a b whereSource

The arrows are the values of the monoid.

Constructors

MonoidA :: Monoid m => m -> MonoidA m m m 

Instances