# The Control-Monad-ST2 package

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]

## Properties

Version | 0.1.0.1 |
---|---|

Change log | None available |

Dependencies | array, base (>=4.5 && <5), QuickCheck, SafeSemaphore [details] |

License | BSD3 |

Copyright | Kevin Backhouse, 2013 |

Author | Kevin Backhouse |

Maintainer | Kevin.Backhouse@gmail.com |

Category | Control |

Home page | https://github.com/kevinbackhouse/Control-Monad-ST2 |

Source repository | this: git clone https://github.com/kevinbackhouse/Control-Monad-ST2.git(tag Version-0.1.0.1) |

Uploaded | Tue Jun 11 01:52:44 UTC 2013 by KevinBackhouse |

Distributions | NixOS:0.1.0.1 |

Downloads | 330 total (8 in last 30 days) |

Votes | |

Status | Docs uploaded by user Build status unknown [no reports yet] |

## Modules

*Control**Monad*

[Index]

## Downloads

- Control-Monad-ST2-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees