On Thu, 13 Nov 2003 16:06:24 -0500 "Abraham Egnor" <[EMAIL PROTECTED]> wrote:
Sorry that I'm too lazy to download the the tar.bz2 and see for myself, but... > that applies those functions to a monadic reference. Instances for > MRef are provided for both IORef and STRef. Assuming MRef is like the below, did you include Lazy.ST too? On a more general note, sticking something like MonadRef somewhere in the heirarchical libs seems like it would be useful. Or perhaps Iavor's monad library? instance MonadRef IO IORef where newRef = newIORef readRef = readIORef writeRef = writeIORef instance MonadRef (Lazy.ST s) (STRef s) where newRef = Lazy.strictToLazyST . newSTRef readRef = Lazy.strictToLazyST . readSTRef writeRef = (Lazy.strictToLazyST .) . writeSTRef instance MonadRef (Strict.ST s) (STRef s) where newRef = newSTRef readRef = readSTRef writeRef = writeSTRef _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell