Numeric.Limp.Rep.IntDouble

Fixed/floating precision number representation

Documentation

data IntDouble

A representation that uses native 64-bit ints and 64-bit doubles. Really, this should be 32-bit ints.

Instances

Rep IntDouble

Associated Types

data Z IntDouble :: *

data R IntDouble :: *

Methods

fromZ :: Z IntDouble -> R IntDouble

Enum (Z IntDouble)

Methods

succ :: Z IntDouble -> Z IntDouble

pred :: Z IntDouble -> Z IntDouble

toEnum :: Int -> Z IntDouble

fromEnum :: Z IntDouble -> Int

enumFrom :: Z IntDouble -> [Z IntDouble]

enumFromThen :: Z IntDouble -> Z IntDouble -> [Z IntDouble]

enumFromTo :: Z IntDouble -> Z IntDouble -> [Z IntDouble]

enumFromThenTo :: Z IntDouble -> Z IntDouble -> Z IntDouble -> [Z IntDouble]

Enum (R IntDouble)

Methods

succ :: R IntDouble -> R IntDouble

pred :: R IntDouble -> R IntDouble

toEnum :: Int -> R IntDouble

fromEnum :: R IntDouble -> Int

enumFrom :: R IntDouble -> [R IntDouble]

enumFromThen :: R IntDouble -> R IntDouble -> [R IntDouble]

enumFromTo :: R IntDouble -> R IntDouble -> [R IntDouble]

enumFromThenTo :: R IntDouble -> R IntDouble -> R IntDouble -> [R IntDouble]

Eq (Z IntDouble)

Methods

(==) :: Z IntDouble -> Z IntDouble -> Bool

(/=) :: Z IntDouble -> Z IntDouble -> Bool

Eq (R IntDouble)

Methods

(==) :: R IntDouble -> R IntDouble -> Bool

(/=) :: R IntDouble -> R IntDouble -> Bool

Fractional (R IntDouble)

Methods

(/) :: R IntDouble -> R IntDouble -> R IntDouble

recip :: R IntDouble -> R IntDouble

fromRational :: Rational -> R IntDouble

Integral (Z IntDouble)

Methods

quot :: Z IntDouble -> Z IntDouble -> Z IntDouble

rem :: Z IntDouble -> Z IntDouble -> Z IntDouble

div :: Z IntDouble -> Z IntDouble -> Z IntDouble

mod :: Z IntDouble -> Z IntDouble -> Z IntDouble

quotRem :: Z IntDouble -> Z IntDouble -> (Z IntDouble, Z IntDouble)

divMod :: Z IntDouble -> Z IntDouble -> (Z IntDouble, Z IntDouble)

toInteger :: Z IntDouble -> Integer

Num (Z IntDouble)

Methods

(+) :: Z IntDouble -> Z IntDouble -> Z IntDouble

(-) :: Z IntDouble -> Z IntDouble -> Z IntDouble

(*) :: Z IntDouble -> Z IntDouble -> Z IntDouble

negate :: Z IntDouble -> Z IntDouble

abs :: Z IntDouble -> Z IntDouble

signum :: Z IntDouble -> Z IntDouble

fromInteger :: Integer -> Z IntDouble

Num (R IntDouble)

Methods

(+) :: R IntDouble -> R IntDouble -> R IntDouble

(-) :: R IntDouble -> R IntDouble -> R IntDouble

(*) :: R IntDouble -> R IntDouble -> R IntDouble

negate :: R IntDouble -> R IntDouble

abs :: R IntDouble -> R IntDouble

signum :: R IntDouble -> R IntDouble

fromInteger :: Integer -> R IntDouble

Ord (Z IntDouble)

Methods

compare :: Z IntDouble -> Z IntDouble -> Ordering

(<) :: Z IntDouble -> Z IntDouble -> Bool

(<=) :: Z IntDouble -> Z IntDouble -> Bool

(>) :: Z IntDouble -> Z IntDouble -> Bool

(>=) :: Z IntDouble -> Z IntDouble -> Bool

max :: Z IntDouble -> Z IntDouble -> Z IntDouble

min :: Z IntDouble -> Z IntDouble -> Z IntDouble

Ord (R IntDouble)

Methods

compare :: R IntDouble -> R IntDouble -> Ordering

(<) :: R IntDouble -> R IntDouble -> Bool

(<=) :: R IntDouble -> R IntDouble -> Bool

(>) :: R IntDouble -> R IntDouble -> Bool

(>=) :: R IntDouble -> R IntDouble -> Bool

max :: R IntDouble -> R IntDouble -> R IntDouble

min :: R IntDouble -> R IntDouble -> R IntDouble

Real (Z IntDouble)

Methods

toRational :: Z IntDouble -> Rational

Real (R IntDouble)

Methods

toRational :: R IntDouble -> Rational

RealFrac (R IntDouble)

Methods

properFraction :: Integral b => R IntDouble -> (b, R IntDouble)

truncate :: Integral b => R IntDouble -> b

round :: Integral b => R IntDouble -> b

ceiling :: Integral b => R IntDouble -> b

floor :: Integral b => R IntDouble -> b

Show (Z IntDouble)

Define show manually, so we can strip out the Z and R prefixes.

Methods

showsPrec :: Int -> Z IntDouble -> ShowS

show :: Z IntDouble -> String

showList :: [Z IntDouble] -> ShowS

Show (R IntDouble)

Methods

showsPrec :: Int -> R IntDouble -> ShowS

show :: R IntDouble -> String

showList :: [R IntDouble] -> ShowS

data Z IntDouble

data Z IntDouble = Z Int

data R IntDouble

data R IntDouble = R Double

unwrapR :: R IntDouble -> Double

Convert a wrapped (R IntDouble) to an actual Double.