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 |

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

The type parameter should be an instance of `HasResolution`

.

Enum (Fixed a) | Since: base-2.1 |

Defined in Data.Fixed ## Methodssucc :: 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 |

HasResolution a => Fractional (Fixed a) | Since: base-2.1 |

Typeable a => Data (Fixed a) | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsgfoldl :: (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 :: (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 |

Defined in Data.Fixed | |

Ord (Fixed a) | Since: base-2.1 |

HasResolution a => Read (Fixed a) | Since: base-4.3.0.0 |

HasResolution a => Real (Fixed a) | Since: base-2.1 |

Defined in Data.Fixed ## MethodstoRational :: Fixed a -> Rational Source | |

HasResolution a => RealFrac (Fixed a) | Since: base-2.1 |

HasResolution a => Show (Fixed a) | Since: base-2.1 |

class HasResolution a where Source

resolution :: p a -> Integer Source

HasResolution E12 | Since: base-2.1 |

Defined in Data.Fixed ## Methodsresolution :: p E12 -> Integer Source | |

HasResolution E9 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E9 -> Integer Source | |

HasResolution E6 | Since: base-2.1 |

Defined in Data.Fixed ## Methodsresolution :: p E6 -> Integer Source | |

HasResolution E3 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E3 -> Integer Source | |

HasResolution E2 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E2 -> Integer Source | |

HasResolution E1 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E1 -> Integer Source | |

HasResolution E0 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E0 -> Integer Source |

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

First arg is whether to chop off trailing zeros

HasResolution E0 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E0 -> Integer Source |

resolution of 1, this works the same as Integer

HasResolution E1 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E1 -> Integer Source |

resolution of 10^-1 = .1

HasResolution E2 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E2 -> Integer Source |

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

HasResolution E3 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E3 -> Integer Source |

resolution of 10^-3 = .001

HasResolution E6 | Since: base-2.1 |

Defined in Data.Fixed ## Methodsresolution :: p E6 -> Integer Source |

resolution of 10^-6 = .000001

HasResolution E9 | Since: base-4.1.0.0 |

Defined in Data.Fixed ## Methodsresolution :: p E9 -> Integer Source |

resolution of 10^-9 = .000000001

HasResolution E12 | Since: base-2.1 |

Defined in Data.Fixed ## Methodsresolution :: p E12 -> Integer Source |

resolution of 10^-12 = .000000000001

© The University of Glasgow and others

Licensed under a BSD-style license (see top of the page).

https://downloads.haskell.org/~ghc/8.6.1/docs/html/libraries/base-4.12.0.0/Data-Fixed.html