Atkey indexed monad transformers.

Please see the README on GitHub at https://github.com/morphismtech/indexed-transformers#readme

indexed-transformers

An Atkey indexed monad is a Functorenriched category. 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
• and instances for the
  • free indexed monad transformer
  • continuation indexed monad transformer
  • state indexed monad transfomer
  • writer indexed monad transformer.