tagged-identity: Trivial monad transformer that allows identical monad stacks have different types

[ bsd3, control, library ] [ Propose Tags ]

Trivial monad transformer that allows identical monad stacks have different types.

[Skip to Readme]


[Index] [Quick Jump]


Manual Flags


Turn on development settings.


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1.0, 0.1.1, 0.1.2, 0.1.3
Change log CHANGELOG.md
Dependencies base (>=4.9 && <5.0), mtl (>=2.0 && <3.0), transformers (>=0.4 && <0.6) [details]
License BSD-3-Clause
Author Mark Karpov <markkarpov92@gmail.com>
Maintainer Mark Karpov <markkarpov92@gmail.com>
Category Control
Home page https://github.com/mrkkrp/tagged-identity
Bug tracker https://github.com/mrkkrp/tagged-identity/issues
Source repo head: git clone https://github.com/mrkkrp/tagged-identity.git
Uploaded by mrkkrp at 2019-06-09T09:55:10Z
Distributions LTSHaskell:0.1.3, NixOS:0.1.3, Stackage:0.1.3
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2862 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2019-06-09 [all 1 reports]

Readme for tagged-identity-0.1.3

[back to package description]

Tagged Identity

License BSD3 Hackage Stackage Nightly Stackage LTS Build Status

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.


Copyright © 2016–2019 Mark Karpov

Distributed under BSD 3 clause license.