This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This library implements the ST2 monad, a type using GDP (ghosts of departed proofs)
to define shared regions of memory between local mutable state threads. This allows
us to define a region of the heap in more minute contours, with each state thread
having explicit access to regions in memory. This is achieved using the function runST2,
which in effects lets the user run a computation that makes use of two partially-overlapping
memory regions. Within that computation, the user can run sub-computations bound to one or
the other memory region. Furthermore, a sub-computation can move any variable that it owns
into the common overlap via share.
An example is shown in the documentation, where one sub-computation creates two cells: one
private, and the other shared. A second sub-computation has unconstrained access to the
shared cell. Yet even though the private reference is also in scope during the second
sub-computation, any attempts to access it there will fail to compile.