-- 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>Rounding</a> and <a>Precision</a>.
@package fixed-precision
@version 0.2.0

module Numeric.Precision.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
data Precision :: *
reflectMode :: (Reifies r RoundMode) => Fixed r p -> RoundMode
reflectPrecision :: (Reifies p Precision) => Fixed r p -> Precision
fromMPFR :: (Reifies r RoundMode, Reifies p Precision) => MPFR -> Fixed r p
fromInt :: (Reifies r RoundMode, Reifies p Precision) => Int -> Fixed r p
fromWord :: (Reifies r RoundMode, Reifies p Precision) => Word -> Fixed r p
fromDouble :: (Reifies r RoundMode, Reifies p Precision) => Double -> Fixed r p
posInfinity :: (Reifies r RoundMode, Reifies p Precision) => Fixed r p
negInfinity :: (Reifies r RoundMode, Reifies p Precision) => Fixed r p
nan :: (Reifies p Precision) => Fixed r p
roundedTowardZero :: (Reifies p Precision) => Fixed Zero p -> Fixed r p
roundedUp :: (Reifies p Precision) => Fixed Up p -> Fixed r p
roundedDown :: (Reifies p Precision) => Fixed Down p -> Fixed r p
roundedToNearest :: (Reifies p Precision) => Fixed Near p -> Fixed r p
instance Eq (Fixed r p)
instance Show (Fixed r p)
instance Ord (Fixed r p)
instance (Reifies r RoundMode, Reifies p Precision) => RealFrac (Fixed r p)
instance (Reifies r RoundMode, Reifies p Precision) => Floating (Fixed r p)
instance (Reifies r RoundMode, Reifies p Precision) => Fractional (Fixed r p)
instance (Reifies r RoundMode, Reifies p Precision) => Real (Fixed r p)
instance (Reifies r RoundMode, Reifies p Precision) => Num (Fixed r p)
instance Reifies CDouble Precision
instance Reifies Double Precision
instance Reifies CFloat Precision
instance Reifies Float Precision
instance Reifies Down RoundMode
instance Reifies Up RoundMode
instance Reifies Zero RoundMode
instance Reifies Near RoundMode