ghc-typelits-extra v0.2 Release Notes

Release Date: 2016-08-19 // over 7 years ago
    • ๐Ÿ†• New type-level operations:
      • Max: type-level max
      • Min: type-level min
      • Div: type-level div
      • Mod: type-level mod
      • FLog: floor of logBase
      • Log: exact integer logBase (i.e. where floor (logBase b x) ~ ceiling (logBase b x) holds)
      • LCM: type-level lcm
    • ๐Ÿ›  Fixes bugs:
      • CLog b 1 doesn't reduce to 0