Description
Provides a monad transformer version of Haskell's ST monad. ST supports local mutable state, and the transformer form helps combine that style with additional monadic structure.
It is useful for algorithms that need efficient local mutation while still fitting into broader abstractions. It is a developer library and should be used where local state is intentional and contained.