Control-Monad-ST2: A variation on the ST monad with two type parameters.
The ST2 monad is like the ST monad, but with finer-grained control over access to mutable state. The phantom type parameters r and w are used to track the read and write dependencies of the computation. If a computation of type ST2 r w a is polymorphic in w then it does not write any external state. If it is also polymorphic in r then it does not read any external state.
[Skip to Readme]
|Dependencies||array, base (>=4.5 && <5), QuickCheck, SafeSemaphore [details]|
|Copyright||Kevin Backhouse, 2013|
|Source repo||this: git clone https://github.com/kevinbackhouse/Control-Monad-ST2.git(tag Version-0.1.0.1)|
|Uploaded||by KevinBackhouse at 2013-06-11T01:52:44Z|
|Downloads||1455 total (2 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]