Proposal: add integer division to GHC.TypeLits

[David Feuer]

Yes please! +1

On Jun 6, 2017 7:33 PM, "Alexey Vagarenko" <vagarenko at gmail.com> wrote:

I'd like to propose adding Div, Mod and DivMod type families to
GHC.TypeLits,
which would be promoted versions of methods of Integral class.

type family Div :: Nat -> Nat -> Nat
type family Mod :: Nat -> Nat -> Nat
type family DivMod :: Nat -> Nat -> (Nat, Nat)

I've made trac ticket for this https://ghc.haskell.org/trac/ghc/ticket/13652
some time ago, but it hasn't got much attention.

_______________________________________________
Libraries mailing list
Libraries at haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170606/ea0f3ebb/attachment.html>