Fwd: [Hs-Generics] Support for abstract data types

Alexey Rodriguez Yakushev mrchebas at gmail.com
Mon Nov 13 17:34:47 EST 2006



Begin forwarded message:

> From: "Pablo Nogueira" <pirelo at googlemail.com>
> Date: November 10, 2006 12:46:27 GMT+01:00
> To: "Alexey Rodriguez" <mrchebas at gmail.com>
> Subject: Re: [Hs-Generics] Support for abstract data types
>
> Hi Alexey
>
> Could you please forward my replies to generics at haskell.org? I still
> can't post and stil haven't got a reply from the administrator :-(
>
> One minor addition:
>
>> toQueue (Inl (e :*: q)) = e `prependToQueue` q
>> toQueue (Inr ()) = emptyQueue
>
> What is `prependToQueue'? It is not a queue operation given by a queue
> interface. I take it is actually  "enqueue . reverse". If this is the
> case, what you propose looks impractical.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/generics/attachments/20061113/ca3b90dc/attachment-0001.htm


More information about the Generics mailing list