Numeric.VariablePrecision.Fixed

Variable precision software fixed point based on Integer.

Accuracy has not been extensively verified.

Example:

 reifyPrecision 1000 $ \prec ->
    show $ auto (355 :: VFixed N15) / 113 `atPrecision` prec

Documentation

data VFixed p

A software implementation of fixed point arithmetic, using an Integer adjusted to p bits after the binary point.

Instances

Typeable1 VFixed

VariablePrecision VFixed

HasPrecision VFixed

NaturalNumber p => Eq (VFixed p)

NaturalNumber p => Fractional (VFixed p)

Data p => Data (VFixed p)

NaturalNumber p => Num (VFixed p)

NaturalNumber p => Ord (VFixed p)

NaturalNumber p => Read (VFixed p)

NaturalNumber p => Real (VFixed p)

NaturalNumber p => RealFrac (VFixed p)

NaturalNumber p => Show (VFixed p)

NaturalNumber p => BinDecode (VFixed p)

data DFixed

A concrete format suitable for storage or wire transmission.

Constructors

DFixed

Fields

dxPrecision :: !Word

dxMantissa :: !Integer

Instances

Eq DFixed

Data DFixed

Ord DFixed

Read DFixed

Show DFixed

Typeable DFixed

toDFixed :: NaturalNumber p => VFixed p -> DFixed

Freeze a VFixed.

fromDFixed :: NaturalNumber p => DFixed -> Maybe (VFixed p)

Thaw a DFixed. Results in Nothing on precision mismatch.

withDFixed :: DFixed -> (forall p. NaturalNumber p => VFixed p -> r) -> r

Thaw a DFixed to its natural precision.