https://github.com/morphismtech/indexed-transformers

Atkey Indexed Monad Transformers
https://github.com/morphismtech/indexed-transformers

Last synced: 25 days ago
JSON representation

Atkey Indexed Monad Transformers

• Host: GitHub
• URL: https://github.com/morphismtech/indexed-transformers
• Owner: morphismtech
• License: bsd-3-clause
• Created: 2020-03-05T17:23:39.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2024-01-15T20:55:47.000Z (over 1 year ago)
• Last Synced: 2025-04-12T15:16:08.376Z (about 1 month ago)
• Language: Haskell
• Size: 67.4 KB
• Stars: 6
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# indexed-transformers

An [Atkey indexed monad](https://bentnib.org/paramnotions-jfp.pdf)

is a `Functor` [enriched category](https://ncatlab.org/nlab/show/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