<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Would a Bits instance for 2-adic numbers be useful?<br>
</p>
<p>Cheers,<br>
Vanessa<br>
</p>
<div class="moz-cite-prefix">On 11/30/19 4:23 PM, Brent Yorgey
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAH0njdttjmCOp7aZXpdNhq8QHJwXQki8VV0pWwyohA9h1Kr3cA@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="auto">
<div>
<div dir="auto">Yeah, I would be really sad if I can't do
popCount on Integer.</div>
<div dir="auto"><br>
</div>
<div dir="auto">I suppose the issue really is whether you are
allowed to have instances of Bits that have values with an
infinite number of 1 bits, e.g. the 2-adic numbers.</div>
<br>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Sat, Nov 30, 2019, 9:21
AM Oleg Grenrus <<a href="mailto:oleg.grenrus@iki.fi"
moz-do-not-send="true">oleg.grenrus@iki.fi</a>>
wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Although,
popCount for Integer/Natural kind of makes sense, as they
<br>
aren't infinite list of [Bit]s, but smarter structure.<br>
<br>
On 30.11.2019 17.17, Oleg Grenrus wrote:<br>
> I propose to change it to be member of FiniteBits<br>
><br>
> I recall, there was a proposal to remove bitSize from
Bits, so it's an <br>
> opportunity to introduce another small, yet breaking
change at the <br>
> same time.<br>
><br>
> Discussion time 2 week.<br>
><br>
> - Oleg<br>
><br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org"
target="_blank" rel="noreferrer" moz-do-not-send="true">Libraries@haskell.org</a><br>
> <a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank"
rel="noreferrer" moz-do-not-send="true">Libraries@haskell.org</a><br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Libraries mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
</blockquote>
</body>
</html>