Data.Fixed

Copyright	(c) Ashley Yakeley 2005 2006 2009
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	Ashley Yakeley <ashley@semantic.org>
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Описание

Этот модуль определяет тип "Fixed" для арифметики с фиксированной точностью. Параметром для Fixed является любой тип, являющийся экземпляром HasResolution. HasResolution имеет единственный метод, который возвращает разрешение типа Fixed.

Этот модуль также содержит обобщения div, mod и divMod для работы с любым экземпляром Real.

div' :: (Real a, Integral b) => a -> a -> b Source

Обобщение div для любого экземпляра Real

mod' :: Real a => a -> a -> a Source

Обобщение mod для любого экземпляра Real

divMod' :: (Real a, Integral b) => a -> a -> (b, a) Source

Обобщение divMod для любого экземпляра Real

newtype Fixed (a :: k) Source

Параметр типа должен быть экземпляром HasResolution.

Конструкторы

MkFixed Integer

Экземпляры

Подробно об экземплярах

Enum (Fixed a)	С версии: base-2.1
Подробно об экземпляре Определено в Data.Fixed Методы succ :: Fixed a -> Fixed a Source pred :: Fixed a -> Fixed a Source toEnum :: Int -> Fixed a Source fromEnum :: Fixed a -> Int Source enumFrom :: Fixed a -> [Fixed a] Source enumFromThen :: Fixed a -> Fixed a -> [Fixed a] Source enumFromTo :: Fixed a -> Fixed a -> [Fixed a] Source enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a] Source
Eq (Fixed a)	С версии: base-2.1
Подробно об экземпляре Определено в Data.Fixed Методы (==) :: Fixed a -> Fixed a -> Bool Source (/=) :: Fixed a -> Fixed a -> Bool Source
HasResolution a => Fractional (Fixed a)	С версии: base-2.1
Подробно об экземпляре Определено в Data.Fixed Методы (/) :: Fixed a -> Fixed a -> Fixed a Source recip :: Fixed a -> Fixed a Source fromRational :: Rational -> Fixed a Source
(Typeable k, Typeable a) => Data (Fixed a)	С версии: base-4.1.0.0

Подробности экземпляра Определено в Data.Fixed Методы 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 :: forall r r'. (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)	С момента: base-2.1
Подробности экземпляра Определено в Data.Fixed Методы (+) :: 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)	С момента: base-2.1

Подробности экземпляра Определено в Data.Fixed Методы 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)	С момента: base-4.3.0.0
Подробности экземпляра Определено в Data.Fixed Методы readsPrec :: Int -> ReadS (Fixed a) Исходный код readList :: ReadS [Fixed a] Исходный код readPrec :: ReadPrec (Fixed a) Исходный код readListPrec :: ReadPrec [Fixed a] Исходный код
HasResolution a => Real (Fixed a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Fixed Методы toRational :: Fixed a -> Rational Исходный код
HasResolution a => RealFrac (Fixed a)	С момента: base-2.1
Подробности экземпляра Определено в Data.Fixed Методы 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)	С момента: base-2.1
Подробности экземпляра Определено в Data.Fixed Методы showsPrec :: Int -> Fixed a -> ShowS Исходный код show :: Fixed a -> String Исходный код showList :: [Fixed a] -> ShowS Исходный код

class HasResolution (a :: k) where Исходный код

Методы

resolution :: p a -> Integer Исходный код

Экземпляры

Подробности об экземплярах

KnownNat n => HasResolution (n :: Nat)	Например, `Fixed 1000` даст вам `Fixed` с разрешением 1000.
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p n -> Integer Источник
HasResolution E12	С версии: base-2.1
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E12 -> Integer Источник
HasResolution E9	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E9 -> Integer Источник
HasResolution E6	С версии: base-2.1
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E6 -> Integer Источник
HasResolution E3	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E3 -> Integer Источник
HasResolution E2	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E2 -> Integer Источник
HasResolution E1	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E1 -> Integer Источник
HasResolution E0	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E0 -> Integer Источник

showFixed :: HasResolution a => Bool -> Fixed a -> String Источник

Первый аргумент - следует ли отбрасывать trailing zeros

data E0 Источник

Экземпляры

Подробности об экземплярах

HasResolution E0	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E0 -> Integer Источник

type Uni = Fixed E0 Источник

разрешение 1, работает так же, как Integer

data E1 Источник

Экземпляры

Подробности об экземплярах

HasResolution E1	С версии: base-4.1.0.0
Подробности об экземпляре Определено в Data.Fixed Методы resolution :: p E1 -> Integer Источник

type Deci = Fixed E1 Источник

разрешение 10^-1 = .1

data E2 Источник