Tainted

Tainted type, and associated operations

https://github.com/RossMeikleham/Tainted

Latest on Hackage:0.1.0.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by RossMeikleham
Maintained by [email protected]

A Tainted type contains either a clean or dirty value. Values which are clean stay clean as long as an operation performed on them results in a clean value. If combined with a dirty value, the value becomes tainted as dirty and remains that way through further operations. This package contains implementations of the Tainted Monad as well as TaintedT (the Tainted Monad Transformer), as well as examples of using each of them.