Data.Fixed

Copyright	(c) Ashley Yakeley 2005 2006 2009
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	Ashley Yakeley <[email protected]>
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Description

This module defines a "Fixed" type for fixed-precision arithmetic. The parameter to Fixed is any type that's an instance of HasResolution. HasResolution has a single method that gives the resolution of the Fixed type.

This module also contains generalisations of div, mod, and divMod to work with any Real instance.

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

Generalisation of div to any instance of Real

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

Generalisation of mod to any instance of Real

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

Generalisation of divMod to any instance of Real

newtype Fixed (a :: k) Source

The type parameter should be an instance of HasResolution.

Constructors

MkFixed Integer

Instances

Instances details

Enum (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods 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)	Since: base-2.1
Instance details Defined in Data.Fixed Methods (==) :: Fixed a -> Fixed a -> Bool Source (/=) :: Fixed a -> Fixed a -> Bool Source
HasResolution a => Fractional (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods (/) :: 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)	Since: base-4.1.0.0
Instance details 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) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Fixed a) Source toConstr :: Fixed a -> Constr Source dataTypeOf :: Fixed a -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Fixed a)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Fixed a)) Source gmapT :: (forall b. Data b => b -> b) -> Fixed a -> Fixed a Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r Source gmapQ :: (forall d. Data d => d -> u) -> Fixed a -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixed a -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) Source
HasResolution a => Num (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods (+) :: Fixed a -> Fixed a -> Fixed a Source (-) :: Fixed a -> Fixed a -> Fixed a Source (*) :: Fixed a -> Fixed a -> Fixed a Source negate :: Fixed a -> Fixed a Source abs :: Fixed a -> Fixed a Source signum :: Fixed a -> Fixed a Source fromInteger :: Integer -> Fixed a Source
Ord (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods compare :: Fixed a -> Fixed a -> Ordering Source (<) :: Fixed a -> Fixed a -> Bool Source (<=) :: Fixed a -> Fixed a -> Bool Source (>) :: Fixed a -> Fixed a -> Bool Source (>=) :: Fixed a -> Fixed a -> Bool Source max :: Fixed a -> Fixed a -> Fixed a Source min :: Fixed a -> Fixed a -> Fixed a Source
HasResolution a => Read (Fixed a)	Since: base-4.3.0.0
Instance details Defined in Data.Fixed Methods readsPrec :: Int -> ReadS (Fixed a) Source readList :: ReadS [Fixed a] Source readPrec :: ReadPrec (Fixed a) Source readListPrec :: ReadPrec [Fixed a] Source
HasResolution a => Real (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods toRational :: Fixed a -> Rational Source
HasResolution a => RealFrac (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods properFraction :: Integral b => Fixed a -> (b, Fixed a) Source truncate :: Integral b => Fixed a -> b Source round :: Integral b => Fixed a -> b Source ceiling :: Integral b => Fixed a -> b Source floor :: Integral b => Fixed a -> b Source
HasResolution a => Show (Fixed a)	Since: base-2.1
Instance details Defined in Data.Fixed Methods showsPrec :: Int -> Fixed a -> ShowS Source show :: Fixed a -> String Source showList :: [Fixed a] -> ShowS Source

class HasResolution (a :: k) where Source

Methods

resolution :: p a -> Integer Source

Instances

Instances details

KnownNat n => HasResolution (n :: Nat)	For example, `Fixed 1000` will give you a `Fixed` with a resolution of 1000.
Instance details Defined in Data.Fixed Methods resolution :: p n -> Integer Source
HasResolution E12	Since: base-2.1
Instance details Defined in Data.Fixed Methods resolution :: p E12 -> Integer Source
HasResolution E9	Since: base-4.1.0.0
Instance details Defined in Data.Fixed Methods resolution :: p E9 -> Integer Source
HasResolution E6	Since: base-2.1
Instance details Defined in Data.Fixed Methods resolution :: p E6 -> Integer Source
HasResolution E3	Since: base-4.1.0.0
Instance details Defined in Data.Fixed Methods resolution :: p E3 -> Integer Source
HasResolution E2	Since: base-4.1.0.0
Instance details Defined in Data.Fixed Methods resolution :: p E2 -> Integer Source
HasResolution E1	Since: base-4.1.0.0
Instance details Defined in Data.Fixed Methods resolution :: p E1 -> Integer Source
HasResolution E0	Since: base-4.1.0.0
Instance details Defined in Data.Fixed Methods resolution :: p E0 -> Integer Source