index-core: Indexed Types

[ bsd3, control, indexed, library ] [ Propose Tags ] [ Report a vulnerability ]

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 && <5) [details]
Tested with ghc ==7.2.2, ghc ==7.4.2, ghc ==7.6.3, ghc ==7.8.4, ghc ==7.10.3, ghc ==8.0.1
License BSD-3-Clause
Copyright 2012 Gabriella Gonzalez
Author Gabriella Gonzalez
Maintainer GenuineGabriella@gmail.com
Revised Revision 1 made by GabrielGonzalez at 2022-09-04T23:14:22Z
Category Control, Indexed
Bug tracker mailto:GenuineGabriella@gmail.com
Source repo head: git clone https://github.com/Gabriella439/Haskell-Index-Core-Library
Uploaded by GabrielGonzalez at 2016-06-12T22:40:43Z
Distributions
Reverse Dependencies 2 direct, 359 indirect [details]
Downloads 4397 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-06-12 [all 1 reports]