data-category: Restricted categories

[ bsd3, library, math ] [ Propose Tags ]

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.

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, 0.6.2, 0.7
Dependencies base (>=3 && <5) [details]
License BSD-3-Clause
Author Sjoerd Visscher
Maintainer sjoerd@w3future.com
Category Data
Home page http://github.com/sjoerdvisscher/data-category
Bug tracker http://github.com/sjoerdvisscher/data-category/issues
Source repo head: git clone git://github.com/sjoerdvisscher/data-category.git
Uploaded by SjoerdVisscher at Sat Jul 31 22:46:36 UTC 2010
Distributions NixOS:0.7
Downloads 7395 total (24 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees