Yes, it really is like MonadIO -- just capable of being used to produce guaranteed purely functional results ^^ Louis Wasserman wasserman.lo...@gmail.com
On Wed, Feb 18, 2009 at 5:43 PM, Henning Thielemann < lemm...@henning-thielemann.de> wrote: > > On Mon, 16 Feb 2009, Louis Wasserman wrote: > > I just posted stateful-mtl and pqueue-mtl 1.0.2, making use of the new >> approach to >> single-threaded ST wrapping. I discovered while making the modifications >> to both packages that >> the MonadSTTrans type class was unnecessary, enabling a cleaner >> integration with mtl proper. I'm >> pretty confident that this approach is airtight, but let me know if you >> encounter contradictions >> or problems. >> > > Btw. there is now also the "transformers" package. It's Haskell 98, however > this is certainly not an issue for you, since higher-rank-types as in runST > are not Haskell 98 anyway.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe