Re: [Haskell-cafe] state monad transformer that adds or combines state

Check out http://hackage.haskell.org/package/lens-4.16.1/docs/Control-Lens-Zoom.html#v...

On May 15, 2018, at 17:39, Ryan Reich wrote:

You can use plain get and put to interact with the outer state, and you have to apply lift to use the inner state. This problem, which for almost any other combination of transformers is solved by mtl's web of MonadState instances, is an example of why the topic of "extensible effects" is so hot. You are basically asking to add, and later subtract, a new state "effect". Barring rewriting your original state type as a product that includes the new one, there isn't really a neat way of doing this.

...

On Tue, May 15, 2018, 14:29 Dennis Raddle wrote: I'm not sure what happens if I apply a StateT to an existing State or StateT monad. Not sure how 'get' and 'put' would function, or if I would need to lift get and put to choose which state to access.

D

...

On Tue, May 15, 2018 at 12:49 AM, Francesco Ariis wrote: On Mon, May 14, 2018 at 10:27:19PM -0700, Dennis Raddle wrote:

...

In local computations, I may want to use some additional state. Is there a way to add a little extra state temporarily?

Would StateT work (in general, taking advantage of what transformers have to offer)? _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

---

Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.