<br><br>---------- Forwarded message ----------<br><span class="gmail_quote">From: <b class="gmail_sendername">Alexey Rodriguez</b> <<a href="mailto:mrchebas@gmail.com">mrchebas@gmail.com</a>><br>Date: Nov 14, 2006 5:46 PM
<br>Subject: Re: [Hs-Generics] Support for abstract data types<br>To: Pablo Nogueira <<a href="mailto:pirelo@googlemail.com">pirelo@googlemail.com</a>><br><br></span><br><br><div><div><span class="e" id="q_10ee793767a192d2_1">
<span class="gmail_quote">On 11/10/06, <b class="gmail_sendername">Pablo Nogueira</b> <<a href="mailto:pirelo@googlemail.com" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">pirelo@googlemail.com
</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi Alexey<br><br>Could you please forward my replies to <a href="mailto:generics@haskell.org" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">generics@haskell.org</a>? I still<br>can't post and stil haven't got a reply from the administrator :-(
<br><br>One minor addition:
<br><br>> toQueue (Inl (e :*: q)) = e `prependToQueue` q<br>> toQueue (Inr ()) = emptyQueue<br><br>What is `prependToQueue'? It is not a queue operation given by a queue<br>interface. I take it is actually "enqueue . reverse". If this is the
<br>case, what you propose looks impractical.</blockquote></span></div><div><br>I assumed it to be an operation internal to the queue library, remember that the mapping is written by the Queue library writer, not the user. "prependToQueue" does not need to be exposed to the user. What is exposed is the structural representation type and the embedding projection, which the user exploits by using Queue-specialized generic functions.
<br> </div>Cheers,<br><br>Alexey<br></div><br>