@hackage index-core1.0.4

Indexed Types

Categories
License
BSD-3-Clause
Maintainer
GenuineGabriella@gmail.com
Links
Versions
- 1.0.4 Sun, 4 Sep 2022
- 1.0.3 Tue, 31 May 2016
- 1.0.2 Wed, 8 Jul 2015
- 1.0.1 Tue, 31 May 2016
- 1.0.0 Tue, 31 May 2016

Installation
In your cabal file:
Tested Compilers
- 7.10.3
Dependencies (1)
- base >=4 && <5
Dependents (1)
@hackage/acme-everything

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.

@hackage index-core1.0.4

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (1)

Dependents (1)