ConstraintKinds: Repackages standard type classes with the ConstraintKinds extension
This module provides more flexible versions of common type classes that use the ConstraintKinds extension. This allows us to make types that require constraints instances of the popular classes. For example, we reimplement Functor and Foldable using the ContraintKinds style. This allows us to manipulate lists and unboxed vectors using the same functions.
This library needs a lot of work before it can be considered ready for others to use. Right now, only those instances needed by the HLearn library have been implemented in this library.
Modules
[Index]
Downloads
- ConstraintKinds-1.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.1, 0.0.1.1, 0.0.1.2, 0.0.1.3, 0.0.2.0, 1.1.0.0, 1.3.0 |
|---|---|
| Dependencies | base (>=3 && <5), dlist (==0.5), ghc-prim, vector (>=0.9) [details] |
| License | BSD-3-Clause |
| Author | Mike izbicki |
| Maintainer | mike@izbicki.me |
| Category | Control |
| Source repo | head: git clone https://github.com/mikeizbicki/ConstraintKinds |
| Uploaded | by MikeIzbicki at 2014-05-20T23:09:03Z |
| Distributions | |
| Reverse Dependencies | 6 direct, 0 indirect [details] |
| Downloads | 7582 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Successful builds reported [all 1 reports] |