@hackage index-core1.0.2

Indexed Types

Categories
License
BSD-3-Clause
Maintainer
Gabriel439@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:
Dependencies (1)
- base >=4 && <4.8
Dependents (2)
@hackage/acme-everything, @hackage/pipes

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.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (1)

Dependents (2)