data-category-0.1.0: Restricted categories

Portabilitynon-portable
Stabilityexperimental
Maintainersjoerd@w3future.com

Data.Category.Monoid

Description

A monoid as a category with one object.

Synopsis

Documentation

newtype MonoidA m a b Source

The arrows are the values of the monoid.

Constructors

MonoidA m 

Instances

Monoid m => CategoryO (MonoidA m) m 
Monoid m => Apply (MonoidA m) m m 
Monoid m => CategoryA (MonoidA m) m m m