Numeric.AffineForm.ExplicitRounding

ExplicitRounding defines the ExplicitRounding class and instances for some more common numeric types

Documentation

class (Ord a, Num a) => ExplicitRounding a

The class of numeric values that can be rounded explicitly

Minimal complete definition

eps

Instances

ExplicitRounding Double

Defined in Numeric.AffineForm.ExplicitRounding

Methods

eps :: Double -> Double

prev :: Double -> Double

next :: Double -> Double

(+/) :: Double -> Double -> Double

(+\) :: Double -> Double -> Double

(-/) :: Double -> Double -> Double

(-\) :: Double -> Double -> Double

(*/) :: Double -> Double -> Double

(*\) :: Double -> Double -> Double

ExplicitRounding Float

Defined in Numeric.AffineForm.ExplicitRounding

Methods

eps :: Float -> Float

prev :: Float -> Float

next :: Float -> Float

(+/) :: Float -> Float -> Float

(+\) :: Float -> Float -> Float

(-/) :: Float -> Float -> Float

(-\) :: Float -> Float -> Float

(*/) :: Float -> Float -> Float

(*\) :: Float -> Float -> Float

ExplicitRounding Int

Defined in Numeric.AffineForm.ExplicitRounding

Methods

eps :: Int -> Int

prev :: Int -> Int

next :: Int -> Int

(+/) :: Int -> Int -> Int

(+\) :: Int -> Int -> Int

(-/) :: Int -> Int -> Int

(-\) :: Int -> Int -> Int

(*/) :: Int -> Int -> Int

(*\) :: Int -> Int -> Int

(Integral a, ExplicitRounding a) => ExplicitRounding (Ratio a)

Defined in Numeric.AffineForm.ExplicitRounding

Methods

eps :: Ratio a -> Ratio a

prev :: Ratio a -> Ratio a

next :: Ratio a -> Ratio a

(+/) :: Ratio a -> Ratio a -> Ratio a

(+\) :: Ratio a -> Ratio a -> Ratio a

(-/) :: Ratio a -> Ratio a -> Ratio a

(-\) :: Ratio a -> Ratio a -> Ratio a

(*/) :: Ratio a -> Ratio a -> Ratio a

(*\) :: Ratio a -> Ratio a -> Ratio a

eps :: ExplicitRounding a => a -> a

Return some number so that all the values that could be rounded to the parameter of this function would be at most that distance away from that parameter.

prev :: ExplicitRounding a => a -> a

Returns parameter plus its epsilon

next :: ExplicitRounding a => a -> a

Returns parameter minus its epsilon

(+/) :: ExplicitRounding a => a -> a -> a

Add the two values, rounding the result up

(+\) :: ExplicitRounding a => a -> a -> a

Add the two values, rounding the result down

(-/) :: ExplicitRounding a => a -> a -> a

Subtract the two values, rounding the result up

(-\) :: ExplicitRounding a => a -> a -> a

Subtract the two values, rounding the result down

(*/) :: ExplicitRounding a => a -> a -> a

Multiply the two values, rounding the result up

(*\) :: ExplicitRounding a => a -> a -> a

Multiply the two values, rounding the result down