ghc-typelits-extra v0.2 Release Notes
Release Date: 2016-08-19 // over 7 years ago-
- ๐ New type-level operations:
Max
: type-levelmax
Min
: type-levelmin
Div
: type-leveldiv
Mod
: type-levelmod
FLog
: floor of logBaseLog
: exact integer logBase (i.e. wherefloor (logBase b x) ~ ceiling (logBase b x)
holds)LCM
: type-levellcm
- ๐ Fixes bugs:
CLog b 1
doesn't reduce to0
- ๐ New type-level operations: