<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>You can apply StateT to an existing monad, e.g. StateT StateType
(Either ErrorType). Then 'get' and 'put' can be used inside this
monad. <br>
</p>
<br>
<div class="moz-cite-prefix">On 05/15/2018 04:29 PM, Dennis Raddle
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKxLvooom4JwHpDEP_gZt1VqDKKZh=GnkNN3A21B+ELL6g79Ug@mail.gmail.com">
<div dir="ltr">
<div>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.</div>
<div><br>
</div>
<div>D<br>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Tue, May 15, 2018 at 12:49 AM,
Francesco Ariis <span dir="ltr"><<a
href="mailto:fa-ml@ariis.it" target="_blank"
moz-do-not-send="true">fa-ml@ariis.it</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex"><span
class="">On Mon, May 14, 2018 at 10:27:19PM -0700, Dennis
Raddle wrote:<br>
> In local computations, I may want to use some
additional state. Is there a<br>
> way to add a little extra state temporarily?<br>
<br>
</span>Would StateT work (in general, taking advantage of
what transformers<br>
have to offer)?<br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe"
rel="noreferrer" target="_blank" moz-do-not-send="true">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to
post.</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
</body>
</html>