[Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl
ganesh.sittampalam at credit-suisse.com
Thu Feb 19 03:10:01 EST 2009
Henning Thielemann wrote:
> On Mon, 16 Feb 2009, Louis Wasserman wrote:
>> Overnight I had the following thought, which I think could work
>> rather well. The most basic implementation of the idea is as
>> class MonadST s m | m -> s where
>> liftST :: ST s a -> m a
>> instance MonadST s (ST s) where ...
>> instance MonadST s m => MonadST ...
> Like MonadIO, isn't it?
I think it should be, except that you need to track 's' somewhere.
Please access the attached hyperlink for an important electronic communications disclaimer:
More information about the Haskell-Cafe