tagged-identity
Trivial monad transformer that allows identical monad stacks have different types
https://github.com/mrkkrp/tagged-identity
| Version on this page: | 0.1.3 |
| LTS Haskell 24.17: | 0.1.5 |
| Stackage Nightly 2025-10-31: | 0.1.5 |
| Latest on Hackage: | 0.1.5 |
This version can be pinned in stack with:
tagged-identity-0.1.3@sha256:ed9c75f1f12c525b5e12638eaa8d312d79c1e930762f853895e81521fbf1ebcc,1643Module documentation for 0.1.3
- 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 to work with monad stacks
as usual, but you can make two identical monad stacks have different types.
The main application of this is, of course, the ability to have different
instances for otherwise the same stacks without having to do opaque
newtype wrapping which is not handy with monad stacks.
License
Copyright © 2016–2019 Mark Karpov
Distributed under BSD 3 clause license.