Reference types

Ashley Yakeley
Wed, 6 Feb 2002 01:28:19 -0800

At 2002-02-06 00:54, Koen Claessen wrote:

>You are completely right, of course I meant r -> m!

Right. There's the equivalent of an r -> m dependency because m is a 
parameter in the Ref type constructor. But it doesn't matter, because you 
can create values of this type:

     myIntRef :: (MyMonad m) => Ref m Int

...i.e., references that work with multiple monads.

Ashley Yakeley, Seattle WA