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.

Versions 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
Revised Revision 2 made by phadej at Tue May 31 10:50:32 UTC 2016
Category Control, Indexed
Bug tracker
Source repo head: git clone
Uploaded by GabrielGonzalez at Thu Aug 16 21:22:54 UTC 2012
Distributions NixOS:1.0.4
Downloads 2102 total (15 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




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

For package maintainers and hackage trustees