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]|
|Copyright||2012 Gabriel Gonzalez|
|Source repo||head: git clone https://github.com/Gabriel439/Haskell-Index-Core-Library|
|Uploaded||by GabrielGonzalez at Sun Jun 12 22:40:43 UTC 2016|
|Downloads||2411 total (58 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2016-06-12 [all 1 reports]
For package maintainers and hackage trustees