Changes between Initial Version and Version 1 of Ticket #13652, comment 2


Ignore:
Timestamp:
Oct 3, 2017 10:15:33 PM (2 years ago)
Author:
RyanGlScott
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13652, comment 2

    initial v1  
    1 Commit fa8035e3ee83aff5a20fc5e7e2697bac1686d6a6 added type-level versions of `Div` and `Mod` to `GHC.TypeNats`.
     1Commit fa8035e3ee83aff5a20fc5e7e2697bac1686d6a6 added type-level versions of `Div` and `Mod` to `base`.
    22
    33The only remaining question—which I will ask to vagarenko—is it important to you to have a `DivMod` type family in `base` that uses the value-level `divMod` under the hood? I ask since one //could// define `DivMod` in terms of `Div` and `Mod`, but perhaps you're wanting something more performant than that.