[Haskell-cafe] Question on type synonym definition and language
olivier.boudry at gmail.com
Thu May 29 17:19:56 EDT 2008
On Thu, May 29, 2008 at 4:38 PM, Henning Thielemann <
lemming at henning-thielemann.de> wrote:
> 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,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe