On Thu, May 29, 2008 at 4:38 PM, Henning Thielemann < [EMAIL PROTECTED]> wrote:
> Is > > type Matrix monad array num = monad (array (Int,Int) num) > > ok for you? > Not really what I was looking for but I may end up using it. What I wanted is to hide the Monad and Array and have it inferred from the context of the array STArray or STUArray when run in the ST monad with runST(U)Array, IOArray or IOUArray when used in the IO monad, etc... I'm not sure it's the right thing to do. I may create more troubles than I solve. I was just trying to keep things as generic as possible. Thanks for your reply, Olivier.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe