fp-ieee-0.1.0.1: IEEE 754-2019 compliant operations

Index

*Numeric.Floating.IEEE
+Numeric.Floating.IEEE
-Numeric.Floating.IEEE
/Numeric.Floating.IEEE
absNumeric.Floating.IEEE
augmentedAdditionNumeric.Floating.IEEE
augmentedMultiplicationNumeric.Floating.IEEE
augmentedSubtractionNumeric.Floating.IEEE
canonicalizeNumeric.Floating.IEEE
ceilingNumeric.Floating.IEEE
ceiling'Numeric.Floating.IEEE
ClassNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
classify 
1 (Function)Numeric.Floating.IEEE
2 (Function)Numeric.Floating.IEEE.NaN
compareByTotalOrder 
1 (Function)Numeric.Floating.IEEE
2 (Function)Numeric.Floating.IEEE.NaN
compareByTotalOrderMagNumeric.Floating.IEEE
copySignNumeric.Floating.IEEE.NaN
equalByTotalOrderNumeric.Floating.IEEE.NaN
exponentNumeric.Floating.IEEE
floatRadixNumeric.Floating.IEEE
floorNumeric.Floating.IEEE
floor'Numeric.Floating.IEEE
fromIntegerTiesToAwayNumeric.Floating.IEEE
fromIntegerTiesToEvenNumeric.Floating.IEEE
fromIntegerTowardNegativeNumeric.Floating.IEEE
fromIntegerTowardPositiveNumeric.Floating.IEEE
fromIntegerTowardZeroNumeric.Floating.IEEE
fromIntegralTiesToAwayNumeric.Floating.IEEE
fromIntegralTiesToEvenNumeric.Floating.IEEE
fromIntegralTowardNegativeNumeric.Floating.IEEE
fromIntegralTowardPositiveNumeric.Floating.IEEE
fromIntegralTowardZeroNumeric.Floating.IEEE
fromRationalTiesToAwayNumeric.Floating.IEEE
fromRationalTiesToEvenNumeric.Floating.IEEE
fromRationalTowardNegativeNumeric.Floating.IEEE
fromRationalTowardPositiveNumeric.Floating.IEEE
fromRationalTowardZeroNumeric.Floating.IEEE
fusedMultiplyAddNumeric.Floating.IEEE
genericAddNumeric.Floating.IEEE
genericDivNumeric.Floating.IEEE
genericFusedMultiplyAddNumeric.Floating.IEEE
genericMulNumeric.Floating.IEEE
genericSubNumeric.Floating.IEEE
getPayloadNumeric.Floating.IEEE.NaN
isDenormalizedNumeric.Floating.IEEE
isFiniteNumeric.Floating.IEEE
isInfiniteNumeric.Floating.IEEE
isNaNNumeric.Floating.IEEE
isNormalNumeric.Floating.IEEE
isSignalingNumeric.Floating.IEEE.NaN
isSignMinus 
1 (Function)Numeric.Floating.IEEE
2 (Function)Numeric.Floating.IEEE.NaN
isZeroNumeric.Floating.IEEE
maxFiniteNumeric.Floating.IEEE
maximum'Numeric.Floating.IEEE
maximumMagnitudeNumeric.Floating.IEEE
maximumMagnitudeNumberNumeric.Floating.IEEE
maximumNumberNumeric.Floating.IEEE
minimum'Numeric.Floating.IEEE
minimumMagnitudeNumeric.Floating.IEEE
minimumMagnitudeNumberNumeric.Floating.IEEE
minimumNumberNumeric.Floating.IEEE
minPositiveNumeric.Floating.IEEE
minPositiveNormalNumeric.Floating.IEEE
negateNumeric.Floating.IEEE
NegativeInfinityNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
NegativeNormalNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
NegativeSubnormalNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
NegativeZeroNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
nextDownNumeric.Floating.IEEE
nextTowardZeroNumeric.Floating.IEEE
nextUpNumeric.Floating.IEEE
PositiveInfinityNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
PositiveNormalNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
PositiveSubnormalNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
PositiveZeroNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
QuietNaNNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
RealFloatNaNNumeric.Floating.IEEE.NaN
realFloatToFracNumeric.Floating.IEEE
remainderNumeric.Floating.IEEE
roundNumeric.Floating.IEEE
round'Numeric.Floating.IEEE
roundAwayNumeric.Floating.IEEE
roundAway'Numeric.Floating.IEEE
scaleFloatTiesToAwayNumeric.Floating.IEEE
scaleFloatTiesToEvenNumeric.Floating.IEEE
scaleFloatTowardNegativeNumeric.Floating.IEEE
scaleFloatTowardPositiveNumeric.Floating.IEEE
scaleFloatTowardZeroNumeric.Floating.IEEE
setPayloadNumeric.Floating.IEEE.NaN
setPayloadSignalingNumeric.Floating.IEEE.NaN
SignalingNaNNumeric.Floating.IEEE, Numeric.Floating.IEEE.NaN
sqrtNumeric.Floating.IEEE
TotallyOrdered 
1 (Type/Class)Numeric.Floating.IEEE.NaN
2 (Data Constructor)Numeric.Floating.IEEE.NaN
truncateNumeric.Floating.IEEE
truncate'Numeric.Floating.IEEE