index-core
Version 1.0.4 revision 1 uploaded by GabrielGonzalez.
Package meta
- Synopsis
- Indexed Types
- Description
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.
- Author
- Gabriella Gonzalez
- Bug reports
- mailto:GenuineGabriella@gmail.com
- Category
- Control, Indexed
- Copyright
- 2012 Gabriella Gonzalez
- Homepage
- n/a
- Maintainer
- GenuineGabriella@gmail.com
- Package URL
- n/a
- Stability
- Experimental