The data-category package

[Tags: bsd3, library]

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. Therefore the Category class has an associated data type Obj. This which will often also be a GADT.

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


Properties

Versions0.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
Dependenciesbase (>=3 && <5)
LicenseBSD3
AuthorSjoerd Visscher
Maintainersjoerd@w3future.com
Stabilityexperimental
CategoryData
Home pagehttp://github.com/sjoerdvisscher/data-category
Bug trackerhttp://github.com/sjoerdvisscher/data-category/issues
Source repositoryhead: git clone git://github.com/sjoerdvisscher/data-category.git
Upload dateSat Jul 31 22:46:36 UTC 2010
Uploaded bySjoerdVisscher
Downloads1070 total (92 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees