Data.Numbers.CrackNum

A library for formatting/analyzing FP and Integer values

Internal representation of a Floating-point numbers

data FP

Complete internal representation for a floating-point number

Constructors

FP

Fields

intVal :: Integer

The value as represented as a full Integer. Storage purposes only.

prec :: Precision

FP precision.

sign :: Bool

Sign. If True then negative, otherwise positive.

stExpt :: Int

The exponent as it is stored.

bias :: Int

The implicit bias of the exponent.

expt :: Int

The actual exponent.

fracBits :: [Bool]

Bits in the fractional part

bitLayOut :: String

Layout representation

kind :: Kind

Floating-point kind (i.e., value)

data Precision

Floating point precision

Constructors

HP

Half precision; 16 bits = 1 sign + 5 exponent + 10 mantissa

SP

Single precision; 32 bits = 1 sign + 8 exponent + 23 mantissa

DP

Double precision; 64 bits = 1 sign + 11 exponent + 52 mantissa

Instances

Eq Precision

Show Precision

data IPrecision

Integer/Word precision

Constructors

W8

8-bit unsigned (byte)

I8

8-bit signed

W16

16-bit unsigned (word)

I16

16-bit signed

W32

32-bit unsigned (double-word)

I32

32-bit signed

W64

64-bit unsigned (quad-word)

I64

64-bit signed

Instances

Eq IPrecision

Show IPrecision

Show instance for integer-precisions

data Kind

Kinds of floating point values

Constructors

Zero Bool

Zero: 0. If Bool is true, then this is -0; otherwise +0.

Infty Bool

Infinity: oo. If Bool is true, then this is -oo, otherwie +oo.

SNaN

The screaming-NaN.

QNaN

The quiet-NaN.

Denormal

Denormalized number, i.e., leading bit is not 1

Normal

Normal value.

Creating FP values

crackHP :: Integer -> FP

Crack a Haskell Integer value as a Half-precision floating point number

crackSP :: Integer -> FP

Crack a Haskell Integer value as a Single-precision floating point number

crackDP :: Integer -> FP

Crack a Haskell Integer value as a Double-precision floating point number

convertToIEEE :: Precision -> String -> FP

Convert the given string to a IEEE number with the required precision

Displaying FP and Int/Word values

displayFP :: FP -> String

Display a Floating-point number in a nicely formatted way

displayInt :: IPrecision -> Integer -> String

Display a Integer (signed/unsigned) number in a nicely formatted way