To be frank, I would just rather have access to the constructor to Fixed.<div><br></div><div>It honestly strikes me as silly to have to pay for a division and/or multiplication every time I want to access one.</div><div><br>
</div><div>There in an ideological distinction being maintained here about the one true usage pattern that has forced me to reimplement Data.Fixed in my own code to avoid the overhead. =(</div><div><br></div><div>You can bury it in an Internal module or something and load it with caveats about how it is a bad idea to use and how you reserve the right to change it some day, but without it Data.Fixed remains almost useless to me.</div>
<div><br></div><div>The Binary instance can trivially be implemented on top of that, as we shoudn't be encoding type (precision) information in the Binary data stream.</div><div><br></div><div>-Edward<br><br><div class="gmail_quote">
On Sat, Dec 1, 2012 at 5:54 PM, Ashley Yakeley <span dir="ltr"><<a href="mailto:ashley@semantic.org" target="_blank">ashley@semantic.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 01/12/12 12:11, Yitzchak Gale wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Jeff Shaw wrote:<br>
<br>
In my work I've run into an annoyance: Data.Fixed.Fixed does not<br>
have a<br>
Binary instance in the binary package.<br>
<br>
Ashley Yakeley wrote:<br>
<br>
Just to be clear, this is a modification of binary, not Data.Fixed<br>
in base, is that correct?<br>
<br>
<br>
Hmm, I had understood just the opposite:<br>
that the proposal was to add fromFixed/toFixed<br>
to Data.Fixed, motivated by the difficulty of things<br>
like writing a Binary instance.<br>
</blockquote>
<br></div>
Oh yes, you're right. But I don't think it's necessary.<div class="HOEnZb"><div class="h5"><br>
<br>
-- Ashley<br>
<br>
<br>
______________________________<u></u>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>