Hackage :: [Package]

indexed-transformers: Atkey indexed monad transformers

[ bsd3, control, library ] [ Propose Tags ] [ Report a vulnerability ]
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4, 0.2.0.0
Change log CHANGELOG.md
Dependencies base (>=4.18.1.0 && <5), free (>=5.2 && <6), kan-extensions (>=5.2.5 && <6), mtl (>=2.3.1 && <3), transformers (>=0.6.1.0 && <1) [details]
License BSD-3-Clause
Copyright 2026 Eitan Chatav
Author Eitan Chatav
Maintainer eitan.chatav@gmail.com
Uploaded by echatav at 2026-10-03T19:02:30Z
Category Control
Home page https://github.com/morphismtech/indexed-transformers#readme
Bug tracker https://github.com/morphismtech/indexed-transformers/issues
Source repo head: git clone https://github.com/morphismtech/indexed-transformers
Distributions LTSHaskell:0.1.0.4, Stackage:0.2.0.0
Downloads 482 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for indexed-transformers-0.2.0.0

[back to package description]

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