Haskell Core Libraries (base package)ParentContentsIndex
GHC.Float
Portability non-portable (GHC Extensions)
Stability internal
Maintainer cvs-ghc@haskell.org
Description
The types Float and Double, and the classes Floating and RealFloat.
Synopsis
data Double = D# Double#
data FFFormat
= FFExponent
| FFFixed
| FFGeneric
data Float = F# Float#
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
data Double = D# Double#
data Float = F# Float#
data FFFormat
= FFExponent
| FFFixed
| FFGeneric
data FFFormat
= FFExponent
| FFFixed
| FFGeneric
data FFFormat
= FFExponent
| FFFixed
| FFGeneric
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
acosDouble :: Double -> Double
acosFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
asinDouble :: Double -> Double
asinFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
atanDouble :: Double -> Double
atanFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
cosDouble :: Double -> Double
cosFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
coshDouble :: Double -> Double
coshFloat :: Float -> Float
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
divideDouble :: Double -> Double -> Double
divideFloat :: Float -> Float -> Float
double2Float :: Double -> Float
double2Int :: Double -> Int
encodeDouble# :: Int# -> ByteArray# -> Int -> Double
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
encodeFloat# :: Int# -> ByteArray# -> Int -> Float
eqDouble :: Double -> Double -> Bool
eqFloat :: Float -> Float -> Bool
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
expDouble :: Double -> Double
expFloat :: Float -> Float
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
expt :: Integer -> Int -> Integer
expts :: Array Int Integer
float2Double :: Float -> Double
float2Int :: Float -> Int
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
floatToDigits :: (RealFloat a) => Integer -> a -> ([Int], Int)
formatRealFloat :: (RealFloat a) => FFFormat -> Maybe Int -> a -> String
fromRat :: (RealFloat a) => Rational -> a
fromRat' :: (RealFloat a) => Rational -> a
geDouble :: Double -> Double -> Bool
geFloat :: Float -> Float -> Bool
gtDouble :: Double -> Double -> Bool
gtFloat :: Float -> Float -> Bool
int2Double :: Int -> Double
int2Float :: Int -> Float
int_encodeDouble# :: Int# -> Int -> Double
int_encodeFloat# :: Int# -> Int -> Float
integerLogBase :: Integer -> Integer -> Int
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
isDoubleDenormalized :: Double -> Int
isDoubleInfinite :: Double -> Int
isDoubleNaN :: Double -> Int
isDoubleNegativeZero :: Double -> Int
isFloatDenormalized :: Float -> Int
isFloatInfinite :: Float -> Int
isFloatNaN :: Float -> Int
isFloatNegativeZero :: Float -> Int
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
leDouble :: Double -> Double -> Bool
leFloat :: Float -> Float -> Bool
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
logDouble :: Double -> Double
logFloat :: Float -> Float
ltDouble :: Double -> Double -> Bool
ltFloat :: Float -> Float -> Bool
maxExpt :: Int
minExpt :: Int
minusDouble :: Double -> Double -> Double
minusFloat :: Float -> Float -> Float
neDouble :: Double -> Double -> Bool
neFloat :: Float -> Float -> Bool
negateDouble :: Double -> Double
negateFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
plusDouble :: Double -> Double -> Double
plusFloat :: Float -> Float -> Float
powerDouble :: Double -> Double -> Double
powerFloat :: Float -> Float -> Float
roundTo :: Int -> Int -> [Int] -> (Int, [Int])
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
scaleRat :: Rational -> Int -> Rational -> Rational -> Int -> Rational -> (Rational, Int)
showFloat :: (RealFloat a) => a -> ShowS
class (RealFrac a, Floating a) => RealFloat a where
atan2 :: a -> a -> a
isNaN :: a -> Bool
isInfinite :: a -> Bool
isDenormalized :: a -> Bool
isNegativeZero :: a -> Bool
isIEEE :: a -> Bool
scaleFloat :: Int -> a -> a
significand :: a -> a
exponent :: a -> Int
encodeFloat :: Integer -> Int -> a
decodeFloat :: a -> (Integer, Int)
floatRange :: a -> (Int, Int)
floatDigits :: a -> Int
floatRadix :: a -> Integer
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
sinDouble :: Double -> Double
sinFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
sinhDouble :: Double -> Double
sinhFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
sqrtDouble :: Double -> Double
sqrtFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
tanDouble :: Double -> Double
tanFloat :: Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
tanhDouble :: Double -> Double
tanhFloat :: Float -> Float
timesDouble :: Double -> Double -> Double
timesFloat :: Float -> Float -> Float
class (Fractional a) => Floating a where
asinh :: a -> a
acosh :: a -> a
atanh :: a -> a
sinh :: a -> a
cosh :: a -> a
tanh :: a -> a
asin :: a -> a
acos :: a -> a
atan :: a -> a
sin :: a -> a
cos :: a -> a
tan :: a -> a
(**) :: a -> a -> a
logBase :: a -> a -> a
exp :: a -> a
log :: a -> a
sqrt :: a -> a
pi :: a
Documentation
data Double
Double-precision floating point numbers.
Constructors
D# Double#
Instances
IArray UArray Double
(Ix ix) => Eq (UArray ix Double)
(Ix ix) => Ord (UArray ix Double)
(Ix ix, Show ix) => Show (UArray ix Double)
MArray (STUArray s) Double (ST s)
(Ix ix, Show ix) => Show (DiffUArray ix Double)
IArray (IOToDiffArray IOUArray) Double
MArray IOUArray Double IO
Typeable Double
Arbitrary Double
CCallable Double
CReturnable Double
Eq Double
Ord Double
Num Double
Real Double
Fractional Double
Floating Double
RealFrac Double
RealFloat Double
Show Double