Haskell mínimo/máximo Doble constante

Question

¿Hay alguna forma en Haskell de obtener la constante que sea el número racional positivo mayor y menor posible mayor que cero que pueda representarse mediante dobles?

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 tiene la función [floatRange][2]:

floatRange :: a -> (Int, Int) Fuente

una función constante, la devolución de los valores más altos y más bajos que el exponente puede asumir

que debería ser lo que quieres.