BSD-3-Clause licensed by Eitan Chatav
This version can be pinned in stack with:indexed-transformers-0.2.0.0@sha256:66560d44886816b853fac84f0500e27f81fb6ad84abadad8a62564ae35aeac8f,4311
Module documentation for 0.2.0.0
indexed-transformers
An Atkey indexed monad
is an endoFunctor enriched category,
or efect for short.
An indexed monad transformer transforms a Monad into an indexed monad.
This library provides
- a typeclass for indexed monad transformers
- qualified do notation to use with them
- a typeclass for free indexed monad transformers
- a typeclass for state indexed monad transformers
- and instances for the
- free indexed monad transformers
- codensity indexed monad transformers
- continuation indexed monad transformer
- state indexed monad transformer
- writer indexed monad transformer
Changelog for indexed-transformers
-
0.1.0.0
- indexed monad transformers
- free indexed monad transformer
- continuation indexed monad transformer
- state indexed monad transformer
- writer indexed monad transformer
- qualified indexed do notation
-
0.1.0.1-4
-
0.2.0.0
- added indexed codensity monad transformers
- rewrite of free indexed monad transformers
- doctests
