Control-Monad-ST2
Version 0.1.0.1 revision 0 uploaded by KevinBackhouse.
Package meta
- Synopsis
- A variation on the ST monad with two type parameters.
- Description
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.
- Author
- Kevin Backhouse
- Bug reports
- n/a
- Category
- Control
- Copyright
- Kevin Backhouse, 2013
- Homepage
- https://github.com/kevinbackhouse/Control-Monad-ST2
- Maintainer
- Kevin.Backhouse@gmail.com
- Package URL
- n/a
- Stability
- n/a