Numeric.Precision.Fixed

Documentation

newtype Fixed r p

Constructors

Fixed MPFR

Instances

Eq (Fixed r p)

(Reifies r RoundMode, Reifies p Precision) => Floating (Fixed r p)

(Reifies r RoundMode, Reifies p Precision) => Fractional (Fixed r p)

(Reifies r RoundMode, Reifies p Precision) => Num (Fixed r p)

Ord (Fixed r p)

(Reifies r RoundMode, Reifies p Precision) => Real (Fixed r p)

(Reifies r RoundMode, Reifies p Precision) => RealFrac (Fixed r p)

Show (Fixed r p)

data RoundMode

Constructors

Near

Zero

Up

Down

Instances

Enum RoundMode

Read RoundMode

Show RoundMode

Reifies Down RoundMode

Reifies Up RoundMode

Reifies Zero RoundMode

Reifies Near RoundMode

data Near

Instances

Reifies Near RoundMode

data Zero

Instances

Reifies Zero RoundMode

data Up

Instances

Reifies Up RoundMode

data Down

Instances

Reifies Down RoundMode

data Precision

Instances

Enum Precision

Eq Precision

Integral Precision

Num Precision

Ord Precision

Real Precision

Show Precision

Reifies Double Precision

Reifies Float Precision

Reifies CFloat Precision

Reifies CDouble 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