Mauricio wrote:
The problem is that I need 'a' or 'b' above to sometimes also change the
environment. I think with this method I could not get that.
I no longer understand what you want.
I thought you wanted an environment which automatically changed every
"step".
I showed you how you can do that, although it requires making explicit
what a "step" is, which you could do with custom combinators.
Now you want any part of the action to change the environment?
In this case, use the state monad, not the reader monad. That is what
it's for.
Jules
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
