constrained-categories: Constrained clones of the category-theory type classes, using ConstraintKinds.

[ control, gpl, library ] [ Propose Tags ]

Haskell has, and makes great use of, powerful facilities from category theory – basically various variants of functors.

However, all those are just endofunctors in Hask, the category of all Haskell types with functions as morphisms. Which is sufficient for container / control structures that you want to be able to handle any type of data, but otherwise it's a bit limiting, seeing as there are (in maths, science etc.) many categories that cannot properly be represented this way. Commonly used libraries such as http://hackage.haskell.org/package/vector-space thus make little notion of the fact that the objects they deal with actually form a category, instead defining just specialised versions of the operations.

This library generalises functors etc. to a much wider class of categories, by allowing for constraints on objects (so these can have extra properties required). At the same time, we try to keep as close as possible to the well-known Haskell type class hierarchies rather than exactly adopting the mathematicians' notions.

Consider the README file, the examples, and/or the documentation to Control.Category.Constrained for how to make use of this.

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.1, 0.2.5.1, 0.3.0.0, 0.3.0.1, 0.3.1.0, 0.3.1.1, 0.4.0.0, 0.4.1.0, 0.4.2.0
Dependencies base (>=4.8 && <4.13), tagged, void [details]
License GPL-3.0-only
Author Justus Sagemüller
Maintainer (@) sagemueller $ geo.uni-koeln.de
Revised Revision 2 made by leftaroundabout at 2020-11-15T10:12:19Z
Category control
Home page https://github.com/leftaroundabout/constrained-categories
Source repo head: git clone git://github.com/leftaroundabout/constrained-categories.git
Uploaded by leftaroundabout at 2015-08-07T12:26:35Z
Distributions NixOS:0.4.2.0
Reverse Dependencies 7 direct, 1 indirect [details]
Downloads 7796 total (32 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-10-07 [all 2 reports]