GHC 10.0.0.20260917 · lts/ghc-10.0.x · 2b27632 · 2026-10-31
Moduleinteger-logarithms-1.0.5Haskell2010
Integer Logarithms. For efficiency, the internal representation of Integers from integer-gmp is used.
Calculate the integer logarithm for an arbitrary base.
The base must be greater than 1, the second argument, the number
whose logarithm is sought, must be positive, otherwise an error is thrown.
If base == 2, the specialised version is called, which is more
efficient than the general algorithm.
Satisfies:
base ^ integerLogBase base m <= m < base ^ (integerLogBase base m + 1)for base > 1 and m > 0.
Calculate the integer logarithm of an Integer to base 2. The argument must be positive, otherwise an error is thrown.
Calculate the integer logarithm of an Integer to base 10. The argument must be positive, otherwise an error is thrown.
Cacluate the integer logarithm for an arbitrary base.
The base must be greater than 1, the second argument, the number
whose logarithm is sought, must be positive, otherwise an error is thrown.
If base == 2, the specialised version is called, which is more
efficient than the general algorithm.
Satisfies:
base ^ integerLogBase base m <= m < base ^ (integerLogBase base m + 1)for base > 1 and m > 0.
Calculate the natural logarithm of an Natural to base 2. The argument must be non-zero, otherwise an error is thrown.
Calculate the integer logarithm of an Integer to base 10. The argument must be not zero, otherwise an error is thrown.
Calculate the integer logarithm of an Int to base 2. The argument must be positive, otherwise an error is thrown.
Calculate the integer logarithm of a Word to base 2. The argument must be positive, otherwise an error is thrown.
These functions are total, however, don't rely on the values with out-of-domain arguments.
Same as integerLogBase, but without checks, saves a little time when called often for known good input.
Same as integerLog2, but without checks, saves a little time when called often for known good input.
Same as integerLog10, but without a check for a positive argument. Saves a little time when called often for known good input.
Same as intLog2, but without checks, saves a little time when called often for known good input.
Same as wordLog2, but without checks, saves a little time when called often for known good input.