STMonadTrans: A monad transformer version of the ST monad

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

A monad transformer version of the ST monad.

Warning! This monad transformer should not be used with monads that can contain multiple answers, like the list monad. The reason is that the state token will be duplicated across the different answers and this causes Bad Things to happen (such as loss of referential transparency). Safe monads include the monads State, Reader, Writer, Maybe and combinations of their corresponding monad transformers.


[Skip to Readme]

Properties

Versions 0.1, 0.2, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.4, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.4.5, 0.4.6, 0.4.6
Change log changelog.md
Dependencies array, base (>=4.6 && <5), fail, mtl (>=1.1) [details]
License BSD-3-Clause
Author Josef Svenningsson
Maintainer josef.svenningsson@gmail.com, Andreas Abel
Category Monads
Home page https://github.com/josefs/STMonadTrans
Bug tracker https://github.com/josefs/STMonadTrans/issues
Source repo head: git clone https://github.com/josefs/STMonadTrans
Uploaded by AndreasAbel at 2021-08-20T11:35:13Z

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for STMonadTrans-0.4.6

[back to package description]

STMonadTrans

Hackage STMonadTrans on Stackage Nightly Stackage Build Status

A monad transformer version of the ST monad.

Warning! This monad transformer should not be used with monads that can contain multiple answers, like the list monad. The reason is that the state token will be duplicated across the different answers and this causes Bad Things to happen (such as loss of referential transparency). Safe monads include the monads State, Reader, Writer, Maybe and combinations of their corresponding monad transformers.