The data-category package

Data-category is a collection of categories, and some categorical constructions on them.

You can restrict the types of the objects of your category by using a GADT for the arrow type. To be able to proof to the compiler that a type is an object in some category, objects also need to be represented at the value level. The corresponding identity arrow of the object is used for that.

See the Monoid, Boolean and Product categories for some examples.

Note: Strictly speaking this package defines Hask-enriched categories, not ordinary categories (which are Set-enriched.) In practice this means we are allowed to ignore undefined (f.e. when talking about uniqueness of morphisms), and we can treat the categories as normal categories.

No changelog available

Properties

Versions	0.0.1, 0.0.2, 0.0.3, 0.0.3.1, 0.1.0, 0.2.0, 0.3.0, 0.3.0.1, 0.3.0.2, 0.3.1, 0.3.1.1, 0.4, 0.4.1, 0.5.0, 0.5.1, 0.5.1.0, 0.5.1.1, 0.6.0, 0.6.1
Dependencies	base (>=3 && <5)
License	BSD3
Author	Sjoerd Visscher
Maintainer	sjoerd@w3future.com
Stability	experimental
Category	Data
Home page	http://github.com/sjoerdvisscher/data-category
Bug tracker	http://github.com/sjoerdvisscher/data-category/issues
Source repository	head: git clone git://github.com/sjoerdvisscher/data-category.git
Uploaded	Thu Mar 3 15:43:51 UTC 2011 by SjoerdVisscher
Distributions	NixOS:0.6.1
Downloads	2025 total (129 in last 30 days)
Status	Docs uploaded by user Build status unknown [no reports yet]

Modules

Data
- Data.Category

[Index]

Downloads

data-category-0.4.tar.gz [browse] (Cabal source package)
Package description (included in the package)

Maintainers' corner

For package maintainers and hackage trustees

edit package information