Numeric.Fixed

Documentation

newtype Fixed r p

Constructors

Fixed MPFR

Instances

Eq (Fixed r p)

(Rounding r, Precision p) => Floating (Fixed r p)

(Rounding r, Precision p) => Fractional (Fixed r p)

(Rounding r, Precision p) => Num (Fixed r p)

Ord (Fixed r p)

(Rounding r, Precision p) => Real (Fixed r p)

(Rounding r, Precision p) => RealFrac (Fixed r p)

(Rounding r, Precision p) => Show (Fixed r p)

data RoundMode

Constructors

Near

Zero

Up

Down

Instances

Enum RoundMode

Read RoundMode

Show RoundMode

data Near

Instances

Rounding Near

data Zero

Instances

Rounding Zero

data Up

Instances

Rounding Up

data Down

Instances

Rounding Down

class Precision p

Instances

Precision Double

Precision Float

Precision CFloat

Precision CDouble

Precision PrecZero

ReifiesNum s => Precision (ReifiedPrecision s)

Precision n => Precision (PrecDouble n)

Precision n => Precision (PrecSucc n)

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