numbers-2009.8.9: Various number types
Data.Number.Fixed
Description
Numbers with a fixed number of decimals.
Synopsis
data Fixed e Source
class Epsilon e Source
The Epsilon class contains the types that can be used to determine the precision of a Fixed number.
Epsilon
Fixed
data Eps1 Source
An epsilon of 1, i.e., no decimals.
data EpsDiv10 p Source
A type construct that gives one more decimals than the argument.
data Prec10 Source
Ten decimals.
data Prec50 Source
50 decimals.
data PrecPlus20 e Source
convertFixed :: (Epsilon e, Epsilon f) => Fixed e -> Fixed fSource
Convert between two arbitrary fixed precision types.
dynamicEps :: forall a. Rational -> (forall e. Epsilon e => Fixed e -> a) -> Rational -> aSource
precision :: Epsilon e => Fixed e -> RationalSource