indexed-transformers: Atkey indexed monad transformers

[ bsd3, control, library ] [ Propose Tags ]
Versions [RSS],,,,
Change log
Dependencies base (>=4.7 && <5), free, mtl, transformers [details]
License BSD-3-Clause
Copyright 2024 Eitan Chatav
Author Eitan Chatav
Category Control
Home page
Bug tracker
Source repo head: git clone
Uploaded by echatav at 2024-01-15T20:55:53Z
Distributions NixOS:, Stackage:
Downloads 145 total (14 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-01-15 [all 1 reports]

Readme for indexed-transformers-

[back to package description]


An Atkey indexed monad is a Functor enriched 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