Haskell minimo/massimo Doppio costante

Question

Esiste un modo in Haskell per ottenere la costante che è il numero razionale positivo più grande e più piccolo possibile maggiore di zero che può essere rappresentato dai doppi?

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 ha la funzione [floatRange][2]:

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

una funzione costante, restituendo i valori più alti e più bassi l'esponente può assumere

che dovrebbe essere quello che vuoi.