-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Fixed Precision Arithmetic
--   
--   Numeric instances for MPFR that use the "Implicit Configurations" from
--   <a>http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf</a> to choose
--   a <a>Rounding</a> and <a>Precision</a>. For those that do not want to
--   use reflection, explicit instances are provided for common precisions
--   and for the built-in rounding modes.
--   
--   <pre>
--   sin pi :: Fixed Down Double
--   fixed Near 256 (sin pi)
--   </pre>
@package fixed-precision
@version 0.3.0

module Numeric.Fixed
newtype Fixed r p
Fixed :: MPFR -> Fixed r p
data RoundMode :: *
Near :: RoundMode
Zero :: RoundMode
Up :: RoundMode
Down :: RoundMode
data Near
data Zero
data Up
data Down
class Precision p
reflectRounding :: (Rounding r) => Fixed r p -> RoundMode
reflectPrecision :: (Precision p) => Fixed r p -> Precision
reifyPrecision :: Int -> (forall p. (Precision p) => Tagged p a) -> a
reifyRounding :: RoundMode -> (forall r. (Rounding r) => Tagged r a) -> a
bits :: Int -> Q Type
bytes :: Int -> Q Type
fromMPFR :: (Rounding r, Precision p) => MPFR -> Fixed r p
fromInt :: (Rounding r, Precision p) => Int -> Fixed r p
fromWord :: (Rounding r, Precision p) => Word -> Fixed r p
fromDouble :: (Rounding r, Precision p) => Double -> Fixed r p
posInfinity :: (Rounding r, Precision p) => Fixed r p
negInfinity :: (Rounding r, Precision p) => Fixed r p
nan :: (Precision p) => Fixed r p
fromZero :: (Precision p) => Fixed Zero p -> Fixed r p
fromUp :: (Precision p) => Fixed Up p -> Fixed r p
fromDown :: (Precision p) => Fixed Down p -> Fixed r p
fromNear :: (Precision p) => Fixed Near p -> Fixed r p
toZero :: (Precision p) => Fixed r p -> Fixed Zero p
toUp :: (Precision p) => Fixed r p -> Fixed Up p
toDown :: (Precision p) => Fixed r p -> Fixed Down p
toNear :: (Precision p) => Fixed r p -> Fixed Near p
instance Eq (Fixed r p)
instance Ord (Fixed r p)
instance (Rounding r, Precision p) => RealFrac (Fixed r p)
instance (Rounding r, Precision p) => Floating (Fixed r p)
instance (Rounding r, Precision p) => Fractional (Fixed r p)
instance (Rounding r, Precision p) => Real (Fixed r p)
instance (Rounding r, Precision p) => Num (Fixed r p)
instance (Rounding r, Precision p) => Show (Fixed r p)
instance (ReifiesNum s) => Precision (ReifiedPrecision s)
instance (Precision n) => Precision (PrecDouble n)
instance (Precision n) => Precision (PrecSucc n)
instance Precision PrecZero
instance Precision CDouble
instance Precision Double
instance Precision CFloat
instance Precision Float
instance (Reifies s RoundMode) => Rounding (ReifiedRounding s)
instance Rounding Down
instance Rounding Up
instance Rounding Zero
instance Rounding Near