Numeric.Mantissa.Unboxed

Real numbers in [0,1), represented as fixed-point reals stored in a machine word.

Fractional would arguably be a better name, but is of course already in use.

Documentation

newtype Mantissa#

A real number in [0,1), represented as an unboxed word

Constructors

Mantissa# Word#

eqMantissa# :: Mantissa# -> Mantissa# -> Int#

neMantissa# :: Mantissa# -> Mantissa# -> Int#

gtMantissa# :: Mantissa# -> Mantissa# -> Int#

ltMantissa# :: Mantissa# -> Mantissa# -> Int#

geMantissa# :: Mantissa# -> Mantissa# -> Int#

leMantissa# :: Mantissa# -> Mantissa# -> Int#

plusMod1Mantissa# :: Mantissa# -> Mantissa# -> Mantissa#

Addition modulo 1

minusMod1Mantissa# :: Mantissa# -> Mantissa# -> Mantissa#

Subtraction modulo 1

plusWithOverflowMantissa# :: Mantissa# -> Mantissa# -> (# Mantissa#, Int# #)

The second Int# component is nonzero on overflow

minusWithOverflowMantissa# :: Mantissa# -> Mantissa# -> (# Mantissa#, Int# #)

The second Int# component is nonzero on overflow

timesMantissa# :: Mantissa# -> Mantissa# -> Mantissa#

quotMantissa# :: Mantissa# -> Mantissa# -> Mantissa#

The user is responsible for ensuring that, when they take dividend/divisor, then the dividend is less than the divisor.