The Control-Monad-ST2 package

[Tags: bsd3, library]

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.


Properties

Version0.1.0.1
Change logNone available
Dependenciesarray, base (>=4.5 && <5), QuickCheck, SafeSemaphore
LicenseBSD3
CopyrightKevin Backhouse, 2013
AuthorKevin Backhouse
MaintainerKevin.Backhouse@gmail.com
CategoryControl
Home pagehttps://github.com/kevinbackhouse/Control-Monad-ST2
Source repositorythis: git clone https://github.com/kevinbackhouse/Control-Monad-ST2.git(tag Version-0.1.0.1)
UploadedTue Jun 11 01:52:44 UTC 2013 by KevinBackhouse
DistributionsNixOS:0.1.0.1
Downloads318 total (16 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees