Haskell minimum/maximum Double Constant

Question

Есть ли способ в Haskell получить константу, которая является наибольшим и наименьшим возможным положительным рациональным числом, большим нуля, которое может быть представлено двойниками?

Answer 1

maxNonInfiniteFloat :: RealFloat a => a -> a 
maxNonInfiniteFloat a = encodeFloat m n where 
    b = floatRadix a 
    e = floatDigits a 
    (_, e') = floatRange a 
    m = b^e - 1 
    n = e' - e 

minPositiveFloat :: RealFloat a => a -> a 
minPositiveFloat a = encodeFloat 1 $ fst (floatRange a) - floatDigits a 

Answer 2

GHC.Float имеет функцию [floatRange][2]:

floatRange :: а - Источник

постоянную функцию> (Int, Int), возвращая самые низкие и самые высокие значения показатель можно считать

, который должен быть тем, что вы хотите.