(moved to haskell-cafe)
G Murali writes:
| hi there,
|
| I'm tryng to get my concepts right here.. can you please help in
| defining a funtion like
|
| makeSet :: (a-Bool)-Set a
|
| I understand that we need a new type Set like
| data Set a = Set (a-Bool) what puzzles me is how to
On 23 Feb 2001, Julian Assange wrote:
Is there a standard construct for something of this ilk:
unliftM :: Monad m a - a
I do not know if it is a standard, but every monad usually has a
"runMonad" function. For ST you have runST, for IO you have
unsafePerformIO and for your own monad