Proposal: add integer division to GHC.TypeLits
vagarenko at gmail.com
Tue Jun 6 23:32:57 UTC 2017
I'd like to propose adding Div, Mod and DivMod type families to
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries