The index-core package

[Tags:bsd3, library]

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
Dependencies base (==4.*) [details]
License BSD3
Copyright 2012 Gabriel Gonzalez
Author Gabriel Gonzalez
Stability Experimental
Category Control, Indexed
Bug tracker
Source repository head: git clone
Uploaded Sun Apr 10 23:21:27 UTC 2016 by GabrielGonzalez
Downloads 572 total (10 in the last 30 days)
0 []
Status Docs pending
Build status unknown [no reports yet]


  • Control
    • Category
      • Control.Category.Index
    • Control.IMonad
      • Control.IMonad.Core
      • Control.IMonad.Do
      • Control.IMonad.Restrict
      • Control.IMonad.Trans


Maintainer's Corner

For package maintainers and hackage trustees