[Haskell-cafe] [ANN] anonymous-sums

[Tikhon Jelvis]

Yeah, S0 and S1 are probably worth including for the sake of completion. We
don't have a 1-tuple, and I believe that's caused a bit of trouble for
people writing generic libraries. Enough trouble so that somebody wrote a
OneTuple package[1] anyhow.

Of course, S0 is isomorphic to Void and S1 is isomorphic to Identity, but I
don't think that's a big deal especially given that S2 is isomorphic to
Either.

[1]:
http://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html


On Fri, Feb 14, 2014 at 3:38 PM, Tillmann Rendel <
rendel at informatik.uni-marburg.de> wrote:

> Hi,
>
> Omari Norman wrote:
>
>> http://hackage.haskell.org/package/anonymous-sums
>>
>
> What about S0 and S1?
>
>   Tillmann
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140214/2ccd2d47/attachment.html>