<div dir="auto">Sorry, agreed with one caveat. Ratio Natural is also perfectly sensible.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jun 16, 2019, 2:49 PM David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Agreed. Moreover, even if we had some magical way to avoid overflow issues, there's no guarantee that<div dir="auto"><br></div><div dir="auto">  maxBound % 1 >= minBound % (-1)</div><div dir="auto"><br></div><div dir="auto">or that</div><div dir="auto"><br></div><div dir="auto">  minBound % 1 <= maxBound % (-1)</div><div dir="auto"><br></div><div dir="auto">So I think this is fundamentally doomed.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jun 16, 2019, 2:30 PM Eric Mertens <<a href="mailto:emertens@gmail.com" target="_blank" rel="noreferrer">emertens@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space">Ratio only only generally be used with Integer, which isn’t itself an instance of Bounded. This probably wouldn’t be a very useful instance. It has overflow issues with Bounded types like Int for various operations including comparisons.<br><div><br><blockquote type="cite"><div>On Jun 16, 2019, at 10:14 AM, Vanessa McHale <<a href="mailto:vanessa.mchale@iohk.io" rel="noreferrer noreferrer" target="_blank">vanessa.mchale@iohk.io</a>> wrote:</div><br class="m_8582757929101692627m_-9065060274402988203Apple-interchange-newline"><div><div class="m_8582757929101692627m_-9065060274402988203protected-part"><div class="m_8582757929101692627m_-9065060274402988203protected-title">Signed PGP part</div><div class="m_8582757929101692627m_-9065060274402988203protected-content">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF"><p>Seems sensible. Out of curiosity, what would this help with?<br>
    </p>
    <div class="m_8582757929101692627m_-9065060274402988203moz-cite-prefix">On 6/14/19 6:44 PM, Dannyu NDos wrote:<br>
    </div>
    <blockquote type="cite">
      
      <div dir="ltr">
        <div>instance (Integral a, Bounded a) => Bounded (Ratio a)
          where</div>
        <div>    minBound = minBound % 1</div>
        <div>    maxBound = maxBound % 1<br>
        </div>
      </div>
      <br>
      <fieldset class="m_8582757929101692627m_-9065060274402988203mimeAttachmentHeader"></fieldset>
      <pre class="m_8582757929101692627m_-9065060274402988203moz-quote-pre">_______________________________________________
Libraries mailing list
<a class="m_8582757929101692627m_-9065060274402988203moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a>
<a class="m_8582757929101692627m_-9065060274402988203moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
    </blockquote>
  </div>

</div></div><br></div></blockquote></div><br></div>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
</blockquote></div>