« Changelog History


ghc-typelits-extra v0.2.2 Release Notes

Release Date: 2017-01-15 // over 7 years ago
    • ⬇️ Reduce Min n (n+1) to n
    • ⬇️ Reduce Max n (n+1) to n+1
    • ⬇️ Reduce cases like 1 <=? Div 18 6 to True
    • ➕ Add a type-level division that rounds up: type DivRU n d = Div (n + (d - 1)) d
    • ➕ Add a type-level divMod : DivMod :: Nat -> Nat -> '(Nat, Nat)