Is there a standard construct for something of this ilk:

unliftM :: Monad m a -> a

In this case, I need to construct a localised stateful computation

comp :: Int -> Int
comp n = unliftM (do x <- ... return x)

--
 Julian Assange        |If you want to build a ship, don't drum up people
                       |together to collect wood or assign them tasks and
 [EMAIL PROTECTED]          |work, but rather teach them to long for the endless
 [EMAIL PROTECTED]  |immensity of the sea. -- Antoine de Saint Exupery

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to