<div dir="auto"><div>Yes please! +1<br><div class="gmail_extra"><br><div class="gmail_quote">On Jun 6, 2017 7:33 PM, "Alexey Vagarenko" <<a href="mailto:vagarenko@gmail.com">vagarenko@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I'd like to propose adding Div, Mod and DivMod type families to GHC.TypeLits, <div>which would be promoted versions of methods of Integral class.<div><div><br></div><div>type family Div :: Nat -> Nat -> Nat<br></div><div>type family Mod :: Nat -> Nat -> Nat<br></div><div>type family DivMod :: Nat -> Nat -> (Nat, Nat)<br></div><div><br><div>I've made trac ticket for this <a href="https://ghc.haskell.org/trac/ghc/ticket/13652" target="_blank">https://ghc.haskell.org/trac/<wbr>ghc/ticket/13652</a></div></div></div><div>some time ago, but it hasn't got much attention.</div></div></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div></div></div>