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]

Modules

[Index] [Quick Jump]

Control
- Monad
  - Trans
    - Identity
      - Control.Monad.Trans.Identity.Tagged

Flags

Manual Flags

Name	Description	Default
dev	Turn on development settings.	Disabled

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

Downloads

tagged-identity-0.1.3.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

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

mrkkrp

For package maintainers and hackage trustees

edit package information

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.9 && <5.0), mtl (>=2.0 && <3.0), transformers (>=0.4 && <0.7) [details]
License	BSD-3-Clause
Author	Mark Karpov <markkarpov92@gmail.com>
Maintainer	Mark Karpov <markkarpov92@gmail.com>
Revised	Revision 1 made by mrkkrp at 2023-06-20T16:23:59Z
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.4, NixOS:0.1.4, Stackage:0.1.4
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	3041 total (22 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

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

Distributed under BSD 3 clause license.