Copyright	(C) 2020 Claude Heiland-Allen
License	BSD3
Maintainer	Claude Heiland-Allen <claude@mathr.co.uk>
Stability	experimental
Portability	non-portable (needs C _Float128)
Safe Haskell	None
Language	Haskell2010

Numeric.Float128

Contents

_Float128 data type
RealFrac alternatives
Conversions

Description

This module contains a Float128 type that can be used if you need the extra precision or range from the IEEE _Float128 quadruple precision type. It has 15bit signed exponent (compared to 11bit signed exponent for Double) and 113bit mantissa (compared to 53bit mantissa for Double).

Performance is likely to be poor, as the instances are implemented using FFI with Ptr Float128, copying to and from memory around each operation. If you need to bind to functions taking/returning _Float128 you need to write wrapper functions expecting pointers to _Float128 instead, as GHC does not expose a CFloat128 FFI type.

Synopsis

_Float128 data type

data Float128 Source #

The _Float128 type.

Constructors

F128 !Word64 !Word64

Instances

Eq Float128 Source #
Instance details Defined in Numeric.Float128 Methods (==) :: Float128 -> Float128 -> Bool # (/=) :: Float128 -> Float128 -> Bool #
Floating Float128 Source #
Instance details Defined in Numeric.Float128 Methods pi :: Float128 # exp :: Float128 -> Float128 # log :: Float128 -> Float128 # sqrt :: Float128 -> Float128 # (**) :: Float128 -> Float128 -> Float128 # logBase :: Float128 -> Float128 -> Float128 # sin :: Float128 -> Float128 # cos :: Float128 -> Float128 # tan :: Float128 -> Float128 # asin :: Float128 -> Float128 # acos :: Float128 -> Float128 # atan :: Float128 -> Float128 # sinh :: Float128 -> Float128 # cosh :: Float128 -> Float128 # tanh :: Float128 -> Float128 # asinh :: Float128 -> Float128 # acosh :: Float128 -> Float128 # atanh :: Float128 -> Float128 # log1p :: Float128 -> Float128 # expm1 :: Float128 -> Float128 # log1pexp :: Float128 -> Float128 # log1mexp :: Float128 -> Float128 #
Fractional Float128 Source #
Instance details Defined in Numeric.Float128 Methods (/) :: Float128 -> Float128 -> Float128 # recip :: Float128 -> Float128 # fromRational :: Rational -> Float128 #
Num Float128 Source #
Instance details Defined in Numeric.Float128 Methods (+) :: Float128 -> Float128 -> Float128 # (-) :: Float128 -> Float128 -> Float128 # (*) :: Float128 -> Float128 -> Float128 # negate :: Float128 -> Float128 # abs :: Float128 -> Float128 # signum :: Float128 -> Float128 # fromInteger :: Integer -> Float128 #
Ord Float128 Source #
Instance details Defined in Numeric.Float128 Methods compare :: Float128 -> Float128 -> Ordering # (<) :: Float128 -> Float128 -> Bool # (<=) :: Float128 -> Float128 -> Bool # (>) :: Float128 -> Float128 -> Bool # (>=) :: Float128 -> Float128 -> Bool # max :: Float128 -> Float128 -> Float128 # min :: Float128 -> Float128 -> Float128 #
Read Float128 Source #
Instance details Defined in Numeric.Float128 Methods readsPrec :: Int -> ReadS Float128 # readList :: ReadS [Float128] # readPrec :: ReadPrec Float128 # readListPrec :: ReadPrec [Float128] #
Real Float128 Source #
Instance details Defined in Numeric.Float128 Methods toRational :: Float128 -> Rational #
RealFloat Float128 Source #
Instance details Defined in Numeric.Float128 Methods floatRadix :: Float128 -> Integer # floatDigits :: Float128 -> Int # floatRange :: Float128 -> (Int, Int) # decodeFloat :: Float128 -> (Integer, Int) # encodeFloat :: Integer -> Int -> Float128 # exponent :: Float128 -> Int # significand :: Float128 -> Float128 # scaleFloat :: Int -> Float128 -> Float128 # isNaN :: Float128 -> Bool # isInfinite :: Float128 -> Bool # isDenormalized :: Float128 -> Bool # isNegativeZero :: Float128 -> Bool # isIEEE :: Float128 -> Bool # atan2 :: Float128 -> Float128 -> Float128 #
RealFrac Float128 Source #
Instance details Defined in Numeric.Float128 Methods properFraction :: Integral b => Float128 -> (b, Float128) # truncate :: Integral b => Float128 -> b # round :: Integral b => Float128 -> b # ceiling :: Integral b => Float128 -> b # floor :: Integral b => Float128 -> b #
Show Float128 Source #
Instance details Defined in Numeric.Float128 Methods showsPrec :: Int -> Float128 -> ShowS # show :: Float128 -> String # showList :: [Float128] -> ShowS #
Storable Float128 Source #
Instance details Defined in Numeric.Float128 Methods sizeOf :: Float128 -> Int # alignment :: Float128 -> Int # peekElemOff :: Ptr Float128 -> Int -> IO Float128 # pokeElemOff :: Ptr Float128 -> Int -> Float128 -> IO () # peekByteOff :: Ptr b -> Int -> IO Float128 # pokeByteOff :: Ptr b -> Int -> Float128 -> IO () # peek :: Ptr Float128 -> IO Float128 # poke :: Ptr Float128 -> Float128 -> IO () #

RealFrac alternatives

truncate' :: Float128 -> Float128 Source #

Alternate versions of RealFrac methods that keep the value as a Float128.

round' :: Float128 -> Float128 Source #

Alternate versions of RealFrac methods that keep the value as a Float128.

ceiling' :: Float128 -> Float128 Source #

Alternate versions of RealFrac methods that keep the value as a Float128.

floor' :: Float128 -> Float128 Source #

Alternate versions of RealFrac methods that keep the value as a Float128.

Conversions

fromDouble :: Double -> Float128 Source #

toDouble :: Float128 -> Double Source #

fromInt :: Int -> Float128 Source #

toInt :: Float128 -> Int Source #