<div><div>Honest question -- why use this over e.g. a callback function?<br><br>The point of this structure, as I understand it, would be to establish the status of asynchronous computations being performed from `[a]`; it follows that this status would be used to execute a follow-up computation.</div><div><br></div><signature>Jules</signature></div>
      <div class="gmail_quote">
        <br>
        On Aug 16 2016, at 2:27 pm, Francesco Ariis <fa-ml@ariis.it> wrote:
        <br>
        <blockquote class="gmail_quote"
          style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
          <p>On Tue, Aug 16, 2016 at 08:21:31PM +0200, Corentin Dupont wrote:<br>> Hi guys,<br>> is there some library with a Monad (+Applicative, Functor...) instance of<br>> the following type:<br>> <br>> data Todo a b = Todo [a] | Done b</p>
<p>What is the general idea behind the "todo monad"? As an unrepented<br>procrastinator, I might learn something useful.<br>_______________________________________________<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">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>Only members subscribed via the mailman list are allowed to post.</p>
        </blockquote>
      </div>