Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Fixed a = MkFixed Integer
- showFixed :: HasResolution a => Bool -> Fixed a -> String
- shiftf :: Integer -> Fixed a -> Fixed a
- type Uni = Fixed E0
- type Deci = Fixed E1
- f01f00 :: Conn k Deci Uni
- type Centi = Fixed E2
- f02f00 :: Conn k Centi Uni
- f02f01 :: Conn k Centi Deci
- type Milli = Fixed E3
- f03f00 :: Conn k Milli Uni
- f03f01 :: Conn k Milli Deci
- f03f02 :: Conn k Milli Centi
- type Micro = Fixed E6
- f06f00 :: Conn k Micro Uni
- f06f01 :: Conn k Micro Deci
- f06f02 :: Conn k Micro Centi
- f06f03 :: Conn k Micro Milli
- type Nano = Fixed E9
- f09f00 :: Conn k Nano Uni
- f09f01 :: Conn k Nano Deci
- f09f02 :: Conn k Nano Centi
- f09f03 :: Conn k Nano Milli
- f09f06 :: Conn k Nano Micro
- type Pico = Fixed E12
- f12f00 :: Conn k Pico Uni
- f12f01 :: Conn k Pico Deci
- f12f02 :: Conn k Pico Centi
- f12f03 :: Conn k Pico Milli
- f12f06 :: Conn k Pico Micro
- f12f09 :: Conn k Pico Nano
- class HasResolution a where
- resolution :: p a -> Integer
Documentation
The type parameter should be an instance of HasResolution
.
Instances
showFixed :: HasResolution a => Bool -> Fixed a -> String #
First arg is whether to chop off trailing zeros
shiftf :: Integer -> Fixed a -> Fixed a Source #
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.
Uni
Deci
Centi
Milli
Micro
Nano
Pico
HasResolution
class HasResolution a where #
resolution :: p a -> Integer #
Instances
HasResolution E0 | Since: base-4.1.0.0 |
Defined in Data.Fixed resolution :: p E0 -> Integer # | |
HasResolution E1 | Since: base-4.1.0.0 |
Defined in Data.Fixed resolution :: p E1 -> Integer # | |
HasResolution E2 | Since: base-4.1.0.0 |
Defined in Data.Fixed resolution :: p E2 -> Integer # | |
HasResolution E3 | Since: base-4.1.0.0 |
Defined in Data.Fixed resolution :: p E3 -> Integer # | |
HasResolution E6 | Since: base-2.1 |
Defined in Data.Fixed resolution :: p E6 -> Integer # | |
HasResolution E9 | Since: base-4.1.0.0 |
Defined in Data.Fixed resolution :: p E9 -> Integer # | |
HasResolution E12 | Since: base-2.1 |
Defined in Data.Fixed resolution :: p E12 -> Integer # |