13 Apr
2007
13 Apr
'07
1:55 p.m.
Chris Kuklewicz schrieb:
Martin Huschenbett wrote:
1) type MyMonad = ErrorT E (RWST R W S IO) 2) type MyMonad = RWST R W S (ErrorT E IO)
So (1) gives (Left e,s,w) or (Right a,s,w) and (2) gives (Left e) or (Right (a,s,w))
Due to this fact i decided to use (1). If the operation fails and I get (Left e,s,w) what are the values of 's' and 'w'? Are they the state and the written things that were produced by the last successfull operation? Regards, Martin.