index-core: Indexed Types

[ bsd3, control, indexed, library ] [ Propose Tags ]

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.

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] 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4
Dependencies base (>=4 && <4.8) [details]
License BSD-3-Clause
Copyright 2012 Gabriel Gonzalez
Author Gabriel Gonzalez
Maintainer Gabriel439@gmail.com
Revised Revision 2 made by phadej at 2016-05-31T10:50:32Z
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 2012-08-16T21:22:54Z
Distributions
Reverse Dependencies 2 direct, 357 indirect [details]
Downloads 4300 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]