Numeric.ExpExtended.Internal

Internal stuff.

Documentation

data Cache a

Cache of useful magic values.

Constructors

Cache

Fields

• cRadix :: !Integer

  base floatRadix

• cDigits :: !Int

  base floatDigits

• cRangeMin :: !Int

  base fst . floatRange

• cRangeMax :: !Int

  base snd . floatRange

• cSupExponent :: !Int

  magic for overflow checks

  (finite :: a) && supExponent <= e ==> maxExponent < exponent finite + e

• cInfExponent :: !Int

  magic for underflow checks

  (finite :: a) && e <= infExponent ==> exponent finite + e < minExponent

• cUpShift :: Integer -> Int -> Integer

  radix-aware shiftL

• cDownShift :: Integer -> Int -> Integer

  radix-aware shiftR

• cRadixPower :: Int -> Integer

  radix-aware bit

• cExpMin :: !Int

  smaller than this exponent and base exp is 1

• cExpMax :: !Int

  larger than this exponent and base exp overflows to inf or 0

• cExpInf :: !Int

  smaller than this exponent and extended exp is 1

• cExpSup :: !Int

  larger than this exponent and extended exp overflows to inf or 0

• cLogRadix :: !a

  base log . fromInteger . floatRadix

• cRadix' :: !a

  base fromInteger . floatRadix

cacheDefault :: RealFloat a => Cache a

Calculate the magic values at a type.

minExponent :: Int

Minimum exponent.

As small as possible without requiring more expensive overflow checks.

maxExponent :: Int

Maximum exponent.

As big as possible without requiring more expensive overflow checks.