Copyright	(c) 2011 Daniel Fischer
License	BSD3
Maintainer	Daniel Fischer
Stability	experimental
Portability	non-portable (GHC extensions)
Safe Haskell	None
Language	Haskell98

Text.FShow.RealFloat

Description

Faster String representations for floating point types. The code is largely taken from code in GHC.Float and the Show instance of Integer in GHC.Num to get the sequence of digits.

Synopsis

class FShow a where
- fshow :: a -> String
- fshowsPrec :: Int -> a -> ShowS
- fshowList :: [a] -> ShowS
fshows :: FShow a => a -> ShowS
class RealFloat a => DispFloat a where
- decDigits :: a -> Int
- binExp :: a -> Int
fshowFloat :: DispFloat a => a -> ShowS
fshowEFloat :: DispFloat a => Maybe Int -> a -> ShowS
fshowFFloat :: DispFloat a => Maybe Int -> a -> ShowS
fshowGFloat :: DispFloat a => Maybe Int -> a -> ShowS
newtype Double7 = D7 Double
newtype FullDouble = FD {
- unFD :: Double
}
newtype Float7 = F7 Float
newtype FullFloat = FF {
- unFF :: Float
}

Documentation

class FShow a where #

A duplicate of the Show class.

Minimal complete definition

Nothing

Methods

fshow :: a -> String #

fshowsPrec :: Int -> a -> ShowS #

fshowList :: [a] -> ShowS #

Instances

FShow Double #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: Double -> String # fshowsPrec :: Int -> Double -> ShowS # fshowList :: [Double] -> ShowS #
FShow Float #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: Float -> String # fshowsPrec :: Int -> Float -> ShowS # fshowList :: [Float] -> ShowS #
FShow FullFloat #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: FullFloat -> String # fshowsPrec :: Int -> FullFloat -> ShowS # fshowList :: [FullFloat] -> ShowS #
FShow Float7 #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: Float7 -> String # fshowsPrec :: Int -> Float7 -> ShowS # fshowList :: [Float7] -> ShowS #
FShow FullDouble #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: FullDouble -> String # fshowsPrec :: Int -> FullDouble -> ShowS # fshowList :: [FullDouble] -> ShowS #
FShow Double7 #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: Double7 -> String # fshowsPrec :: Int -> Double7 -> ShowS # fshowList :: [Double7] -> ShowS #
FShow a => FShow [a] #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: [a] -> String # fshowsPrec :: Int -> [a] -> ShowS # fshowList :: [[a]] -> ShowS #

fshows :: FShow a => a -> ShowS #

Same as shows, but using an FShow instance.

class RealFloat a => DispFloat a where #

Class for specifying display parameters. The type a is supposed to be an IEEE-ish (real) floating-point type with floating-point radix 2, such that the mantissa returned by decodeFloat satisfies

  2^(binExp x) <= fst (decodeFloat x) < 2^(binExp x + 1)

for x > 0, so binExp x = floatDigits x - 1. The number of decimal digits that may be required is calculated with the formula

  decDigits x = 2 + floor (floatDigits x * logBase 10 2).

The default implementation uses an approximation of logBase 10 2 sufficient for mantissae of up to several thousand bits. Nevertheless, hardcoding the values in instance declarations may yield better performance.

Minimal complete definition

Nothing

Methods

decDigits :: a -> Int #

The number of decimal digits that may be needed to uniquely determine a value of type a. For faster conversions which need not satisfy

  x == read (fshow x)

a smaller value can be given.

binExp :: a -> Int #

The base 2 logarithm of the mantissa returned by decodeFloat x for x > 0.

Instances

DispFloat Double #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: Double -> Int # binExp :: Double -> Int #
DispFloat Float #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: Float -> Int # binExp :: Float -> Int #
DispFloat FullFloat #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: FullFloat -> Int # binExp :: FullFloat -> Int #
DispFloat Float7 #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: Float7 -> Int # binExp :: Float7 -> Int #
DispFloat FullDouble #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: FullDouble -> Int # binExp :: FullDouble -> Int #
DispFloat Double7 #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: Double7 -> Int # binExp :: Double7 -> Int #

fshowFloat :: DispFloat a => a -> ShowS #

Show a signed DispFloat value to full precision using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise. Analogous to showFloat from GHC.Float.

fshowEFloat :: DispFloat a => Maybe Int -> a -> ShowS #

Show a signed DispFloat value using scientific (exponential) notation (e.g. 2.45e2, 1.5e-3).

In the call fshowEFloat digs val, if digs is Nothing, the value is shown to full precision; if digs is Just d, then max 1 d digits after the decimal point are shown. Analogous to showEFloat from Numeric.

fshowFFloat :: DispFloat a => Maybe Int -> a -> ShowS #

Show a signed DispFloat value using standard decimal notation (e.g. 245000, 0.0015).

In the call fshowFFloat digs val, if digs is Nothing, the value is shown to full precision; if digs is Just d, then max 0 d digits after the decimal point are shown. Analogous to showFFloat from Numeric.

fshowGFloat :: DispFloat a => Maybe Int -> a -> ShowS #

Show a signed DispFloat value using standard decimal notation for arguments whose absolute value lies between 0.1 and 9,999,999, and scientific notation otherwise.

In the call fshowGFloat digs val, if digs is Nothing, the value is shown to full precision; if digs is Just d, then max 1 d digits after the decimal point are shown. Analogous to showGFloat from Numeric.

newtype Double7 #

newtype wrapper for Double. The Show (and FShow) instance displays numbers rounded to seven significant digits.

Constructors

D7 Double

Instances

Eq Double7 #
Instance details Defined in Text.FShow.RealFloat Methods (==) :: Double7 -> Double7 -> Bool # (/=) :: Double7 -> Double7 -> Bool #
Floating Double7 #
Instance details Defined in Text.FShow.RealFloat Methods pi :: Double7 # exp :: Double7 -> Double7 # log :: Double7 -> Double7 # sqrt :: Double7 -> Double7 # (**) :: Double7 -> Double7 -> Double7 # logBase :: Double7 -> Double7 -> Double7 # sin :: Double7 -> Double7 # cos :: Double7 -> Double7 # tan :: Double7 -> Double7 # asin :: Double7 -> Double7 # acos :: Double7 -> Double7 # atan :: Double7 -> Double7 # sinh :: Double7 -> Double7 # cosh :: Double7 -> Double7 # tanh :: Double7 -> Double7 # asinh :: Double7 -> Double7 # acosh :: Double7 -> Double7 # atanh :: Double7 -> Double7 # log1p :: Double7 -> Double7 # expm1 :: Double7 -> Double7 # log1pexp :: Double7 -> Double7 # log1mexp :: Double7 -> Double7 #
Fractional Double7 #
Instance details Defined in Text.FShow.RealFloat Methods (/) :: Double7 -> Double7 -> Double7 # recip :: Double7 -> Double7 # fromRational :: Rational -> Double7 #
Num Double7 #
Instance details Defined in Text.FShow.RealFloat Methods (+) :: Double7 -> Double7 -> Double7 # (-) :: Double7 -> Double7 -> Double7 # (*) :: Double7 -> Double7 -> Double7 # negate :: Double7 -> Double7 # abs :: Double7 -> Double7 # signum :: Double7 -> Double7 # fromInteger :: Integer -> Double7 #
Ord Double7 #
Instance details Defined in Text.FShow.RealFloat Methods compare :: Double7 -> Double7 -> Ordering # (<) :: Double7 -> Double7 -> Bool # (<=) :: Double7 -> Double7 -> Bool # (>) :: Double7 -> Double7 -> Bool # (>=) :: Double7 -> Double7 -> Bool # max :: Double7 -> Double7 -> Double7 # min :: Double7 -> Double7 -> Double7 #
Real Double7 #
Instance details Defined in Text.FShow.RealFloat Methods toRational :: Double7 -> Rational #
RealFloat Double7 #
Instance details Defined in Text.FShow.RealFloat Methods floatRadix :: Double7 -> Integer # floatDigits :: Double7 -> Int # floatRange :: Double7 -> (Int, Int) # decodeFloat :: Double7 -> (Integer, Int) # encodeFloat :: Integer -> Int -> Double7 # exponent :: Double7 -> Int # significand :: Double7 -> Double7 # scaleFloat :: Int -> Double7 -> Double7 # isNaN :: Double7 -> Bool # isInfinite :: Double7 -> Bool # isDenormalized :: Double7 -> Bool # isNegativeZero :: Double7 -> Bool # isIEEE :: Double7 -> Bool # atan2 :: Double7 -> Double7 -> Double7 #
RealFrac Double7 #
Instance details Defined in Text.FShow.RealFloat Methods properFraction :: Integral b => Double7 -> (b, Double7) # truncate :: Integral b => Double7 -> b # round :: Integral b => Double7 -> b # ceiling :: Integral b => Double7 -> b # floor :: Integral b => Double7 -> b #
Show Double7 #
Instance details Defined in Text.FShow.RealFloat Methods showsPrec :: Int -> Double7 -> ShowS # show :: Double7 -> String # showList :: [Double7] -> ShowS #
FShow Double7 #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: Double7 -> String # fshowsPrec :: Int -> Double7 -> ShowS # fshowList :: [Double7] -> ShowS #
DispFloat Double7 #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: Double7 -> Int # binExp :: Double7 -> Int #

newtype FullDouble #

newtype wrapper for Double. The Show (and FShow) instance displays all significant digits.

Constructors

FD
Fields unFD :: Double

Instances

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

newtype Float7 #

newtype wrapper for Float. The Show (and FShow) instance displays numbers rounded to seven significant digits.

Constructors

F7 Float

Instances

Eq Float7 #
Instance details Defined in Text.FShow.RealFloat Methods (==) :: Float7 -> Float7 -> Bool # (/=) :: Float7 -> Float7 -> Bool #
Floating Float7 #
Instance details Defined in Text.FShow.RealFloat Methods pi :: Float7 # exp :: Float7 -> Float7 # log :: Float7 -> Float7 # sqrt :: Float7 -> Float7 # (**) :: Float7 -> Float7 -> Float7 # logBase :: Float7 -> Float7 -> Float7 # sin :: Float7 -> Float7 # cos :: Float7 -> Float7 # tan :: Float7 -> Float7 # asin :: Float7 -> Float7 # acos :: Float7 -> Float7 # atan :: Float7 -> Float7 # sinh :: Float7 -> Float7 # cosh :: Float7 -> Float7 # tanh :: Float7 -> Float7 # asinh :: Float7 -> Float7 # acosh :: Float7 -> Float7 # atanh :: Float7 -> Float7 # log1p :: Float7 -> Float7 # expm1 :: Float7 -> Float7 # log1pexp :: Float7 -> Float7 # log1mexp :: Float7 -> Float7 #
Fractional Float7 #
Instance details Defined in Text.FShow.RealFloat Methods (/) :: Float7 -> Float7 -> Float7 # recip :: Float7 -> Float7 # fromRational :: Rational -> Float7 #
Num Float7 #
Instance details Defined in Text.FShow.RealFloat Methods (+) :: Float7 -> Float7 -> Float7 # (-) :: Float7 -> Float7 -> Float7 # (*) :: Float7 -> Float7 -> Float7 # negate :: Float7 -> Float7 # abs :: Float7 -> Float7 # signum :: Float7 -> Float7 # fromInteger :: Integer -> Float7 #
Ord Float7 #
Instance details Defined in Text.FShow.RealFloat Methods compare :: Float7 -> Float7 -> Ordering # (<) :: Float7 -> Float7 -> Bool # (<=) :: Float7 -> Float7 -> Bool # (>) :: Float7 -> Float7 -> Bool # (>=) :: Float7 -> Float7 -> Bool # max :: Float7 -> Float7 -> Float7 # min :: Float7 -> Float7 -> Float7 #
Real Float7 #
Instance details Defined in Text.FShow.RealFloat Methods toRational :: Float7 -> Rational #
RealFloat Float7 #
Instance details Defined in Text.FShow.RealFloat Methods floatRadix :: Float7 -> Integer # floatDigits :: Float7 -> Int # floatRange :: Float7 -> (Int, Int) # decodeFloat :: Float7 -> (Integer, Int) # encodeFloat :: Integer -> Int -> Float7 # exponent :: Float7 -> Int # significand :: Float7 -> Float7 # scaleFloat :: Int -> Float7 -> Float7 # isNaN :: Float7 -> Bool # isInfinite :: Float7 -> Bool # isDenormalized :: Float7 -> Bool # isNegativeZero :: Float7 -> Bool # isIEEE :: Float7 -> Bool # atan2 :: Float7 -> Float7 -> Float7 #
RealFrac Float7 #
Instance details Defined in Text.FShow.RealFloat Methods properFraction :: Integral b => Float7 -> (b, Float7) # truncate :: Integral b => Float7 -> b # round :: Integral b => Float7 -> b # ceiling :: Integral b => Float7 -> b # floor :: Integral b => Float7 -> b #
Show Float7 #
Instance details Defined in Text.FShow.RealFloat Methods showsPrec :: Int -> Float7 -> ShowS # show :: Float7 -> String # showList :: [Float7] -> ShowS #
FShow Float7 #
Instance details Defined in Text.FShow.RealFloat Methods fshow :: Float7 -> String # fshowsPrec :: Int -> Float7 -> ShowS # fshowList :: [Float7] -> ShowS #
DispFloat Float7 #
Instance details Defined in Text.FShow.RealFloat Methods decDigits :: Float7 -> Int # binExp :: Float7 -> Int #

newtype FullFloat #

newtype wrapper for Double. The Show (and FShow) instance displays all significant digits.

Constructors

FF
Fields unFF :: Float

Instances

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