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.1 |
| LTS Haskell 24.18: | 0.1.5 |
| Stackage Nightly 2025-11-04: | 0.1.5 |
| Latest on Hackage: | 0.1.5 |
This version can be pinned in stack with:
tagged-identity-0.1.1@sha256:e4d27a5f8a4967e8ed27f86dbdcece4c6105093933a9f08e36f0b0d6c89c9dc6,2926Module documentation for 0.1.1
- 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 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 Mark Karpov
Distributed under BSD 3 clause license.