data-category: Restricted categories
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.
Modules
[Index]
- Data
- Data.Category
- Data.Category.Adjunction
- Data.Category.Boolean
- Data.Category.Comma
- Data.Category.Dialg
- Data.Category.Discrete
- Data.Category.Functor
- Data.Category.Kleisli
- Data.Category.Limit
- Data.Category.Monoid
- Data.Category.NaturalTransformation
- Data.Category.Omega
- Data.Category.Pair
- Data.Category.Peano
- Data.Category.Product
- Data.Category.Unit
- Data.Category.Void
- Data.Category
Downloads
- data-category-0.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 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, 0.7.1, 0.7.2, 0.8, 0.8.1, 0.8.2, 0.9, 0.10, 0.11 |
|---|---|
| Dependencies | base (>=3 && <5) [details] |
| License | BSD-3-Clause |
| Author | Sjoerd Visscher |
| Maintainer | sjoerd@w3future.com |
| Uploaded | by SjoerdVisscher at 2010-07-31T22:46:36Z |
| 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 |
| Distributions | NixOS:0.11 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 20957 total (37 in the last 30 days) |
| Rating | 2.5 (votes: 3) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |