Data.Connection.Fixed

Uni

type Uni = Fixed E0

resolution of 1, this works the same as Integer

f00int :: Cast k Uni Integer

Deci

type Deci = Fixed E1

resolution of 10^-1 = .1

f01f00 :: Cast k Deci Uni

Centi

type Centi = Fixed E2

resolution of 10^-2 = .01, useful for many monetary currencies

f02f00 :: Cast k Centi Uni

f02f01 :: Cast k Centi Deci

Milli

type Milli = Fixed E3

resolution of 10^-3 = .001

f03f00 :: Cast k Milli Uni

f03f01 :: Cast k Milli Deci

f03f02 :: Cast k Milli Centi

Micro

type Micro = Fixed E6

resolution of 10^-6 = .000001

f06f00 :: Cast k Micro Uni

f06f01 :: Cast k Micro Deci

f06f02 :: Cast k Micro Centi

f06f03 :: Cast k Micro Milli

Nano

type Nano = Fixed E9

resolution of 10^-9 = .000000001

f09f00 :: Cast k Nano Uni

f09f01 :: Cast k Nano Deci

f09f02 :: Cast k Nano Centi

f09f03 :: Cast k Nano Milli

f09f06 :: Cast k Nano Micro

Pico

type Pico = Fixed E12

resolution of 10^-12 = .000000000001

f12f00 :: Cast k Pico Uni

f12f01 :: Cast k Pico Deci

f12f02 :: Cast k Pico Centi

f12f03 :: Cast k Pico Milli

f12f06 :: Cast k Pico Micro

f12f09 :: Cast k Pico Nano

Fixed

f32fix :: HasResolution e => Cast L Float (Extended (Fixed e))

f64fix :: HasResolution e => Cast L Double (Extended (Fixed e))

ratfix :: forall e k. HasResolution e => Cast k Rational (Extended (Fixed e))

shiftf :: Integer -> Fixed a -> Fixed a

Shift by n 'units of least precision' where the ULP is determined by the precision.

This is an analog of shift32 for fixed point numbers.

showFixed :: HasResolution a => Bool -> Fixed a -> String

First arg is whether to chop off trailing zeros

newtype Fixed a

The type parameter should be an instance of HasResolution.

Constructors

MkFixed Integer

Instances

Connection k Pico Nano

Defined in Data.Connection.Class

Methods

cast :: Cast k Pico Nano

Connection k Pico Micro

Defined in Data.Connection.Class

Methods

cast :: Cast k Pico Micro

Connection k Nano Micro

Defined in Data.Connection.Class

Methods

cast :: Cast k Nano Micro

Connection k Pico Milli

Defined in Data.Connection.Class

Methods

cast :: Cast k Pico Milli

Connection k Nano Milli

Defined in Data.Connection.Class

Methods

cast :: Cast k Nano Milli

Connection k Micro Milli

Defined in Data.Connection.Class

Methods

cast :: Cast k Micro Milli

Connection k Pico Centi

Defined in Data.Connection.Class

Methods

cast :: Cast k Pico Centi

Connection k Nano Centi

Defined in Data.Connection.Class

Methods

cast :: Cast k Nano Centi

Connection k Micro Centi

Defined in Data.Connection.Class

Methods

cast :: Cast k Micro Centi

Connection k Milli Centi

Defined in Data.Connection.Class

Methods

cast :: Cast k Milli Centi

Connection k Pico Deci

Defined in Data.Connection.Class

Methods

cast :: Cast k Pico Deci

Connection k Nano Deci

Defined in Data.Connection.Class

Methods

cast :: Cast k Nano Deci

Connection k Micro Deci

Defined in Data.Connection.Class

Methods

cast :: Cast k Micro Deci

Connection k Milli Deci

Defined in Data.Connection.Class

Methods

cast :: Cast k Milli Deci

Connection k Centi Deci

Defined in Data.Connection.Class

Methods

cast :: Cast k Centi Deci

Connection k Pico Uni

Defined in Data.Connection.Class

Methods

cast :: Cast k Pico Uni

Connection k Nano Uni

Defined in Data.Connection.Class

Methods

cast :: Cast k Nano Uni

Connection k Micro Uni

Defined in Data.Connection.Class

Methods

cast :: Cast k Micro Uni

Connection k Milli Uni

Defined in Data.Connection.Class

Methods

cast :: Cast k Milli Uni

Connection k Centi Uni

Defined in Data.Connection.Class

Methods

cast :: Cast k Centi Uni

Connection k Deci Uni

Defined in Data.Connection.Class

Methods

cast :: Cast k Deci Uni

Connection k Uni Integer

Defined in Data.Connection.Class

Methods

cast :: Cast k Uni Integer

HasResolution res => Connection k Rational (Extended (Fixed res))

Defined in Data.Connection.Class

Methods

cast :: Cast k Rational (Extended (Fixed res))

HasResolution res => Connection L Double (Extended (Fixed res))

Defined in Data.Connection.Class

Methods

cast :: Cast L Double (Extended (Fixed res))

HasResolution res => Connection L Float (Extended (Fixed res))

Defined in Data.Connection.Class

Methods

cast :: Cast L Float (Extended (Fixed res))

Enum (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

succ :: Fixed a -> Fixed a

pred :: Fixed a -> Fixed a

toEnum :: Int -> Fixed a

fromEnum :: Fixed a -> Int

enumFrom :: Fixed a -> [Fixed a]

enumFromThen :: Fixed a -> Fixed a -> [Fixed a]

enumFromTo :: Fixed a -> Fixed a -> [Fixed a]

enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a]

Eq (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

(==) :: Fixed a -> Fixed a -> Bool

(/=) :: Fixed a -> Fixed a -> Bool

HasResolution a => Fractional (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

(/) :: Fixed a -> Fixed a -> Fixed a

recip :: Fixed a -> Fixed a

fromRational :: Rational -> Fixed a

Typeable a => Data (Fixed a)

Since: base-4.1.0.0

Defined in Data.Fixed

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixed a -> c (Fixed a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Fixed a)

toConstr :: Fixed a -> Constr

dataTypeOf :: Fixed a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Fixed a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Fixed a))

gmapT :: (forall b. Data b => b -> b) -> Fixed a -> Fixed a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r

gmapQ :: (forall d. Data d => d -> u) -> Fixed a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixed a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a)

HasResolution a => Num (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

(+) :: Fixed a -> Fixed a -> Fixed a

(-) :: Fixed a -> Fixed a -> Fixed a

(*) :: Fixed a -> Fixed a -> Fixed a

negate :: Fixed a -> Fixed a

abs :: Fixed a -> Fixed a

signum :: Fixed a -> Fixed a

fromInteger :: Integer -> Fixed a

Ord (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

compare :: Fixed a -> Fixed a -> Ordering

(<) :: Fixed a -> Fixed a -> Bool

(<=) :: Fixed a -> Fixed a -> Bool

(>) :: Fixed a -> Fixed a -> Bool

(>=) :: Fixed a -> Fixed a -> Bool

max :: Fixed a -> Fixed a -> Fixed a

min :: Fixed a -> Fixed a -> Fixed a

HasResolution a => Read (Fixed a)

Since: base-4.3.0.0

Defined in Data.Fixed

Methods

readsPrec :: Int -> ReadS (Fixed a)

readList :: ReadS [Fixed a]

readPrec :: ReadPrec (Fixed a)

readListPrec :: ReadPrec [Fixed a]

HasResolution a => Real (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

toRational :: Fixed a -> Rational

HasResolution a => RealFrac (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

properFraction :: Integral b => Fixed a -> (b, Fixed a)

truncate :: Integral b => Fixed a -> b

round :: Integral b => Fixed a -> b

ceiling :: Integral b => Fixed a -> b

floor :: Integral b => Fixed a -> b

HasResolution a => Show (Fixed a)

Since: base-2.1

Defined in Data.Fixed

Methods

showsPrec :: Int -> Fixed a -> ShowS

show :: Fixed a -> String

showList :: [Fixed a] -> ShowS

Preorder (Fixed e)

Defined in Data.Order

Methods

(<~) :: Fixed e -> Fixed e -> Bool

(>~) :: Fixed e -> Fixed e -> Bool

(?~) :: Fixed e -> Fixed e -> Bool

(~~) :: Fixed e -> Fixed e -> Bool

(/~) :: Fixed e -> Fixed e -> Bool

plt :: Fixed e -> Fixed e -> Bool

pgt :: Fixed e -> Fixed e -> Bool

similar :: Fixed e -> Fixed e -> Bool

pmax :: Fixed e -> Fixed e -> Maybe (Fixed e)

pmin :: Fixed e -> Fixed e -> Maybe (Fixed e)

pcompare :: Fixed e -> Fixed e -> Maybe Ordering

class HasResolution a where

Methods

resolution :: p a -> Integer

Instances

HasResolution E0

Since: base-4.1.0.0

Defined in Data.Fixed

Methods

resolution :: p E0 -> Integer

HasResolution E1

Since: base-4.1.0.0

Defined in Data.Fixed

Methods

resolution :: p E1 -> Integer

HasResolution E2

Since: base-4.1.0.0

Defined in Data.Fixed

Methods

resolution :: p E2 -> Integer

HasResolution E3

Since: base-4.1.0.0

Defined in Data.Fixed

Methods

resolution :: p E3 -> Integer

HasResolution E6

Since: base-2.1

Defined in Data.Fixed

Methods

resolution :: p E6 -> Integer

HasResolution E9

Since: base-4.1.0.0

Defined in Data.Fixed

Methods

resolution :: p E9 -> Integer

HasResolution E12

Since: base-2.1

Defined in Data.Fixed

Methods

resolution :: p E12 -> Integer