index-core: Indexed Types
This library implements indexed types in the style of Conor McBride, described in the functional pearl "Kleisli arrows of outrageous fortune", following his presentation closely.
This provides a more general form of indexed monad than the one people are most commonly familiar with.
Versions [faq] | 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4 |
---|---|
Dependencies | base (==4.*) [details] |
License | BSD-3-Clause |
Copyright | 2012 Gabriel Gonzalez |
Author | Gabriel Gonzalez |
Maintainer | Gabriel439@gmail.com |
Category | Control, Indexed |
Bug tracker | mailto:Gabriel439@gmail.com |
Source repo | head: git clone https://github.com/Gabriel439/Haskell-Index-Core-Library |
Uploaded | by GabrielGonzalez at 2016-06-12T22:40:43Z |
Distributions | NixOS:1.0.4 |
Downloads | 3737 total (4 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2016-06-12 [all 1 reports] |
Modules
[Index]
Downloads
- index-core-1.0.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)