Data.Connection.Round

Documentation

data Mode

The four primary IEEE rounding modes.

See https://en.wikipedia.org/wiki/Rounding.

Constructors

RNZ

round to nearest with ties towards 0

RTP

round towards pos infinity

RTN

round towards neg infinity

RTZ

round towards 0

Instances

Eq Mode

Defined in Data.Connection.Round

Methods

(==) :: Mode -> Mode -> Bool

(/=) :: Mode -> Mode -> Bool

Show Mode

Defined in Data.Connection.Round

Methods

showsPrec :: Int -> Mode -> ShowS

show :: Mode -> String

showList :: [Mode] -> ShowS

half :: Prd a => Prd b => Num a => Trip a b -> a -> Maybe Ordering

Determine which half of the interval between two representations of a a particular value lies.

tied :: Prd a => Prd b => Num a => Trip a b -> a -> Bool

Determine whether x lies exactly halfway between two representations.

 tied t x == (x - unitl t x) =~ (counitr t x - x)

above :: Prd a => Prd b => Num a => Trip a b -> a -> Bool

Determine whether x lies above the halfway point between two representations.

 above t x == (x - unitl t x) 'gt' (counitr t x - x)

below :: Prd a => Prd b => Num a => Trip a b -> a -> Bool

Determine whether x lies below the halfway point between two representations.

 below t x == (x - unitl t x) 'lt' (counitr t x - x)

ceilingOn :: Prd a => Prd b => Trip a b -> a -> b

floorOn :: Prd a => Prd b => Trip a b -> a -> b

roundOn :: (Prd a, Prd b, Num a) => Trip a b -> a -> b

truncOn :: (Prd a, Prd b, Num a) => Trip a b -> a -> b

addOn :: (Prd a, Prd b, Num a) => Trip a b -> Mode -> b -> b -> b

negOn :: (Prd a, Prd b, Num a) => Trip a b -> Mode -> b -> b

subOn :: (Prd a, Prd b, Num a) => Trip a b -> Mode -> b -> b -> b

mulOn :: (Prd a, Prd b, Num a) => Trip a b -> Mode -> b -> b -> b

fmaOn :: (Prd a, Prd b, Num a) => Trip a b -> Mode -> b -> b -> b -> b

remOn :: (Prd a, Prd b, Fractional a) => Trip a b -> Mode -> b -> b -> b

divOn :: (Prd a, Prd b, Fractional a) => Trip a b -> Mode -> b -> b -> b

divOn' :: (Prd a, Prd b, Fractional a) => Trip a b -> Mode -> b -> b -> b