Haskell tối thiểu/tối đa Double Constant

Question

Có cách nào trong Haskell để nhận được hằng số đó là số lượng hợp lý lớn nhất và nhỏ nhất có thể lớn hơn 0 mà có thể được biểu diễn bằng cách tăng gấp đôi không?

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 có chức năng [floatRange][2]:

floatRange :: a -> (Int, Int) Nguồn

một hàm liên tục, trả lại và giá trị cao nhất thấp nhất số mũ có thể giả định

nên là những gì bạn muốn.