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

[ bsd3, control, library ] [ Propose Tags ] [ Report a vulnerability ]

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


[Skip to Readme]

Modules

[Index] [Quick Jump]

Flags

Manual Flags

NameDescriptionDefault
dev

Turn on development settings.

Disabled

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

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.1.4
Change log CHANGELOG.md
Dependencies base (>=4.15 && <5), mtl (>=2 && <3), transformers (>=0.4 && <0.7) [details]
Tested with ghc ==9.2.8, ghc ==9.4.5, ghc ==9.6.2
License BSD-3-Clause
Author Mark Karpov <markkarpov92@gmail.com>
Maintainer Mark Karpov <markkarpov92@gmail.com>
Revised Revision 1 made by mrkkrp at 2023-10-25T17:51:26Z
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 2023-07-05T18:17:38Z
Distributions LTSHaskell:0.1.4, NixOS:0.1.4, Stackage:0.1.4
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3189 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-07-05 [all 1 reports]

Readme for tagged-identity-0.1.4

[back to package description]

Tagged Identity

License BSD3 Hackage Stackage Nightly Stackage LTS CI

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.