Excerpts from Ketil Malde's message of Wed Oct 07 05:13:19 -0400 2009: > One could argue that IO should be broken down into a set of "sub-monads" > encapsulating various subsets of the functionality - file system, > network access, randomness, and so on. This could extend the "safe > spot" to cover much more computational real estate, and effectively > sandbox programs in various ways.
You can approximate this using the Prompt monad. http://hackage.haskell.org/packages/archive/MonadPrompt/1.0.0.1/doc/html/Control-Monad-Prompt.html Cheers, Edward _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe