tagged-identity
Trivial monad transformer that allows identical monad stacks to have different types
https://github.com/mrkkrp/tagged-identity
| Version on this page: | 0.1.4 |
| LTS Haskell 24.24: | 0.1.5 |
| Stackage Nightly 2025-12-17: | 0.1.5 |
| Latest on Hackage: | 0.1.5 |
This version can be pinned in stack with:
tagged-identity-0.1.4@sha256:658b4b96855cdf590754211d8f53707b3e9d4f7892b2ecb0f31a2aeee0a6f3a6,1310Module documentation for 0.1.4
- Control
- Control.Monad
- Control.Monad.Trans
- Control.Monad.Trans.Identity
- Control.Monad.Trans
- Control.Monad
Depends on 3 packages(full list with versions):
Tagged Identity
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.
Pull requests are also welcome.
License
Copyright © 2016–present Mark Karpov
Distributed under BSD 3 clause license.