https://github.com/mrkkrp/tagged-identity

Trivial monad transformer that allows identical monad stacks have different types
https://github.com/mrkkrp/tagged-identity

haskell monad-transformers phantom-types

Last synced: 10 days ago
JSON representation

Trivial monad transformer that allows identical monad stacks have different types

• Host: GitHub
• URL: https://github.com/mrkkrp/tagged-identity
• Owner: mrkkrp
• License: other
• Created: 2016-11-02T16:28:38.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2024-06-16T09:23:45.000Z (5 months ago)
• Last Synced: 2024-10-13T10:32:29.045Z (25 days ago)
• Topics: haskell, monad-transformers, phantom-types
• Language: Haskell
• Size: 80.1 KB
• Stars: 6
• Watchers: 4
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE.md

Awesome Lists containing this project

README

        
# Tagged Identity

[![License BSD3](https://img.shields.io/badge/license-BSD3-brightgreen.svg)](http://opensource.org/licenses/BSD-3-Clause)

[![Hackage](https://img.shields.io/hackage/v/tagged-identity.svg?style=flat)](https://hackage.haskell.org/package/tagged-identity)

[![Stackage Nightly](http://stackage.org/package/tagged-identity/badge/nightly)](http://stackage.org/nightly/package/tagged-identity)

[![Stackage LTS](http://stackage.org/package/tagged-identity/badge/lts)](http://stackage.org/lts/package/tagged-identity)

![CI](https://github.com/mrkkrp/tagged-identity/workflows/CI/badge.svg?branch=master)

The library provides a monad transformer that works just like `IdentityT`,

but can be tagged at the type level. This allows us to work with monad

stacks as usual, except we can make two identical monad stacks to have

different types. The main application for this is, of course, the ability to

have different instances for otherwise identical stacks without having to do

`newtype` wrapping.

## Contribution

Issues, bugs, and questions may be reported in [the GitHub issue tracker for

this project](https://github.com/mrkkrp/tagged-identity/issues).

Pull requests are also welcome.

## License

Copyright © 2016–present Mark Karpov

Distributed under BSD 3 clause license.