rounded-hw-0.1.0.0: Directed rounding for built-in floating types

Safe HaskellNone
LanguageHaskell2010

Numeric.Rounded.Hardware.Class

Synopsis

Documentation

class Ord a => RoundedRing a where Source #

Rounding-controlled version of Num.

Minimal complete definition

roundedAdd, roundedSub, roundedMul, roundedFusedMultiplyAdd, roundedFromInteger, backendNameT

Methods

roundedAdd :: RoundingMode -> a -> a -> a Source #

roundedSub :: RoundingMode -> a -> a -> a Source #

roundedMul :: RoundingMode -> a -> a -> a Source #

roundedFusedMultiplyAdd :: RoundingMode -> a -> a -> a -> a Source #

roundedFromInteger :: RoundingMode -> Integer -> a Source #

intervalAdd :: Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

\x_lo x_hi y_lo y_hi -> intervalAdd (Rounded x_lo) (Rounded x_hi) (Rounded y_lo) (Rounded y_hi) == (Rounded (roundedAdd TowardNegInf x_lo y_lo), Rounded (roundedAdd TowardInf x_hi y_hi))

intervalSub :: Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

\x_lo x_hi y_lo y_hi -> intervalSub (Rounded x_lo) (Rounded x_hi) (Rounded y_lo) (Rounded y_hi) == (Rounded (roundedSub TowardNegInf x_lo y_hi), Rounded (roundedSub TowardInf x_hi y_lo))

intervalMul :: Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

intervalMulAdd :: Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

backendNameT :: Tagged a String Source #

Instances
RoundedRing Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedAdd :: RoundingMode -> Double -> Double -> Double Source #

roundedSub :: RoundingMode -> Double -> Double -> Double Source #

roundedMul :: RoundingMode -> Double -> Double -> Double Source #

roundedFusedMultiplyAdd :: RoundingMode -> Double -> Double -> Double -> Double Source #

roundedFromInteger :: RoundingMode -> Integer -> Double Source #

intervalAdd :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalSub :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalMul :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalMulAdd :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

backendNameT :: Tagged Double String Source #

RoundedRing Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedAdd :: RoundingMode -> Float -> Float -> Float Source #

roundedSub :: RoundingMode -> Float -> Float -> Float Source #

roundedMul :: RoundingMode -> Float -> Float -> Float Source #

roundedFusedMultiplyAdd :: RoundingMode -> Float -> Float -> Float -> Float Source #

roundedFromInteger :: RoundingMode -> Integer -> Float Source #

intervalAdd :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalSub :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalMul :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalMulAdd :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

backendNameT :: Tagged Float String Source #

RoundedRing Integer Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedAdd :: RoundingMode -> Integer -> Integer -> Integer Source #

roundedSub :: RoundingMode -> Integer -> Integer -> Integer Source #

roundedMul :: RoundingMode -> Integer -> Integer -> Integer Source #

roundedFusedMultiplyAdd :: RoundingMode -> Integer -> Integer -> Integer -> Integer Source #

roundedFromInteger :: RoundingMode -> Integer -> Integer Source #

intervalAdd :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalSub :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalMul :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalMulAdd :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

backendNameT :: Tagged Integer String Source #

RoundedRing LongDouble Source #

Only available on x86/x86_64 systems. Note that LongDouble may not work correctly on Win64.

Instance details

Defined in Numeric.Rounded.Hardware.Backend.X87LongDouble

Methods

roundedAdd :: RoundingMode -> LongDouble -> LongDouble -> LongDouble Source #

roundedSub :: RoundingMode -> LongDouble -> LongDouble -> LongDouble Source #

roundedMul :: RoundingMode -> LongDouble -> LongDouble -> LongDouble Source #

roundedFusedMultiplyAdd :: RoundingMode -> LongDouble -> LongDouble -> LongDouble -> LongDouble Source #

roundedFromInteger :: RoundingMode -> Integer -> LongDouble Source #

intervalAdd :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalSub :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalMul :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalMulAdd :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

backendNameT :: Tagged LongDouble String Source #

RoundedRing CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedAdd :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedSub :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedMul :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedFusedMultiplyAdd :: RoundingMode -> CDouble -> CDouble -> CDouble -> CDouble Source #

roundedFromInteger :: RoundingMode -> Integer -> CDouble Source #

intervalAdd :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalSub :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalMul :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalMulAdd :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

backendNameT :: Tagged CDouble String Source #

RoundedRing CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedAdd :: RoundingMode -> CFloat -> CFloat -> CFloat Source #

roundedSub :: RoundingMode -> CFloat -> CFloat -> CFloat Source #

roundedMul :: RoundingMode -> CFloat -> CFloat -> CFloat Source #

roundedFusedMultiplyAdd :: RoundingMode -> CFloat -> CFloat -> CFloat -> CFloat Source #

roundedFromInteger :: RoundingMode -> Integer -> CFloat Source #

intervalAdd :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalSub :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalMul :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalMulAdd :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

backendNameT :: Tagged CFloat String Source #

RoundedRing CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedAdd :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedSub :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedMul :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedFusedMultiplyAdd :: RoundingMode -> CDouble -> CDouble -> CDouble -> CDouble Source #

roundedFromInteger :: RoundingMode -> Integer -> CDouble Source #

intervalAdd :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalSub :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalMul :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalMulAdd :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

backendNameT :: Tagged CDouble String Source #

Integral a => RoundedRing (Ratio a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedAdd :: RoundingMode -> Ratio a -> Ratio a -> Ratio a Source #

roundedSub :: RoundingMode -> Ratio a -> Ratio a -> Ratio a Source #

roundedMul :: RoundingMode -> Ratio a -> Ratio a -> Ratio a Source #

roundedFusedMultiplyAdd :: RoundingMode -> Ratio a -> Ratio a -> Ratio a -> Ratio a Source #

roundedFromInteger :: RoundingMode -> Integer -> Ratio a Source #

intervalAdd :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalSub :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalMul :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalMulAdd :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

backendNameT :: Tagged (Ratio a) String Source #

(RealFloat a, Num a, RealFloatConstants a) => RoundedRing (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedAdd :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a Source #

roundedSub :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a Source #

roundedMul :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a Source #

roundedFusedMultiplyAdd :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a -> ViaRational a Source #

roundedFromInteger :: RoundingMode -> Integer -> ViaRational a Source #

intervalAdd :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalSub :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalMul :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalMulAdd :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalFromInteger :: Integer -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

backendNameT :: Tagged (ViaRational a) String Source #

class RoundedRing a => RoundedFractional a where Source #

Rounding-controlled version of Fractional.

Minimal complete definition

roundedDiv, roundedFromRational

Methods

roundedDiv :: RoundingMode -> a -> a -> a Source #

roundedRecip :: RoundingMode -> a -> a Source #

roundedRecip :: Num a => RoundingMode -> a -> a Source #

roundedFromRational :: RoundingMode -> Rational -> a Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> a Source #

roundedFromRealFloat :: (Fractional a, RealFloat b) => RoundingMode -> b -> a Source #

intervalDiv :: Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

intervalDivAdd :: Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

intervalRecip :: Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

Instances
RoundedFractional Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedDiv :: RoundingMode -> Double -> Double -> Double Source #

roundedRecip :: RoundingMode -> Double -> Double Source #

roundedFromRational :: RoundingMode -> Rational -> Double Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> Double Source #

intervalDiv :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalDivAdd :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalRecip :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

RoundedFractional Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedDiv :: RoundingMode -> Float -> Float -> Float Source #

roundedRecip :: RoundingMode -> Float -> Float Source #

roundedFromRational :: RoundingMode -> Rational -> Float Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> Float Source #

intervalDiv :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalDivAdd :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalRecip :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

RoundedFractional Integer Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedDiv :: RoundingMode -> Integer -> Integer -> Integer Source #

roundedRecip :: RoundingMode -> Integer -> Integer Source #

roundedFromRational :: RoundingMode -> Rational -> Integer Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> Integer Source #

intervalDiv :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalDivAdd :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalRecip :: Rounded TowardNegInf Integer -> Rounded TowardInf Integer -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf Integer, Rounded TowardInf Integer) Source #

RoundedFractional LongDouble Source #

Only available on x86/x86_64 systems. Note that LongDouble may not work correctly on Win64.

Instance details

Defined in Numeric.Rounded.Hardware.Backend.X87LongDouble

Methods

roundedDiv :: RoundingMode -> LongDouble -> LongDouble -> LongDouble Source #

roundedRecip :: RoundingMode -> LongDouble -> LongDouble Source #

roundedFromRational :: RoundingMode -> Rational -> LongDouble Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> LongDouble Source #

intervalDiv :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalDivAdd :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalRecip :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

RoundedFractional CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedDiv :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedRecip :: RoundingMode -> CDouble -> CDouble Source #

roundedFromRational :: RoundingMode -> Rational -> CDouble Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> CDouble Source #

intervalDiv :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalDivAdd :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalRecip :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

RoundedFractional CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedDiv :: RoundingMode -> CFloat -> CFloat -> CFloat Source #

roundedRecip :: RoundingMode -> CFloat -> CFloat Source #

roundedFromRational :: RoundingMode -> Rational -> CFloat Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> CFloat Source #

intervalDiv :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalDivAdd :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalRecip :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

RoundedFractional CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedDiv :: RoundingMode -> CDouble -> CDouble -> CDouble Source #

roundedRecip :: RoundingMode -> CDouble -> CDouble Source #

roundedFromRational :: RoundingMode -> Rational -> CDouble Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> CDouble Source #

intervalDiv :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalDivAdd :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalRecip :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

Integral a => RoundedFractional (Ratio a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedDiv :: RoundingMode -> Ratio a -> Ratio a -> Ratio a Source #

roundedRecip :: RoundingMode -> Ratio a -> Ratio a Source #

roundedFromRational :: RoundingMode -> Rational -> Ratio a Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> Ratio a Source #

intervalDiv :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalDivAdd :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalRecip :: Rounded TowardNegInf (Ratio a) -> Rounded TowardInf (Ratio a) -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf (Ratio a), Rounded TowardInf (Ratio a)) Source #

(RealFloat a, Num a, RealFloatConstants a) => RoundedFractional (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedDiv :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a Source #

roundedRecip :: RoundingMode -> ViaRational a -> ViaRational a Source #

roundedFromRational :: RoundingMode -> Rational -> ViaRational a Source #

roundedFromRealFloat :: RealFloat b => RoundingMode -> b -> ViaRational a Source #

intervalDiv :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalDivAdd :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalRecip :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

intervalFromRational :: Rational -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

class RoundedRing a => RoundedSqrt a where Source #

Rounding-controlled version of sqrt.

Minimal complete definition

roundedSqrt

Methods

roundedSqrt :: RoundingMode -> a -> a Source #

intervalSqrt :: Rounded TowardNegInf a -> Rounded TowardInf a -> (Rounded TowardNegInf a, Rounded TowardInf a) Source #

Instances
RoundedSqrt Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSqrt :: RoundingMode -> Double -> Double Source #

intervalSqrt :: Rounded TowardNegInf Double -> Rounded TowardInf Double -> (Rounded TowardNegInf Double, Rounded TowardInf Double) Source #

RoundedSqrt Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSqrt :: RoundingMode -> Float -> Float Source #

intervalSqrt :: Rounded TowardNegInf Float -> Rounded TowardInf Float -> (Rounded TowardNegInf Float, Rounded TowardInf Float) Source #

RoundedSqrt LongDouble Source #

Only available on x86/x86_64 systems. Note that LongDouble may not work correctly on Win64.

Instance details

Defined in Numeric.Rounded.Hardware.Backend.X87LongDouble

Methods

roundedSqrt :: RoundingMode -> LongDouble -> LongDouble Source #

intervalSqrt :: Rounded TowardNegInf LongDouble -> Rounded TowardInf LongDouble -> (Rounded TowardNegInf LongDouble, Rounded TowardInf LongDouble) Source #

RoundedSqrt CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSqrt :: RoundingMode -> CDouble -> CDouble Source #

intervalSqrt :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

RoundedSqrt CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSqrt :: RoundingMode -> CFloat -> CFloat Source #

intervalSqrt :: Rounded TowardNegInf CFloat -> Rounded TowardInf CFloat -> (Rounded TowardNegInf CFloat, Rounded TowardInf CFloat) Source #

RoundedSqrt CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedSqrt :: RoundingMode -> CDouble -> CDouble Source #

intervalSqrt :: Rounded TowardNegInf CDouble -> Rounded TowardInf CDouble -> (Rounded TowardNegInf CDouble, Rounded TowardInf CDouble) Source #

(RealFloat a, RealFloatConstants a) => RoundedSqrt (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedSqrt :: RoundingMode -> ViaRational a -> ViaRational a Source #

intervalSqrt :: Rounded TowardNegInf (ViaRational a) -> Rounded TowardInf (ViaRational a) -> (Rounded TowardNegInf (ViaRational a), Rounded TowardInf (ViaRational a)) Source #

class RoundedRing a => RoundedRing_Vector vector a where Source #

Lifted version of RoundedRing

Minimal complete definition

Nothing

Methods

roundedSum :: RoundingMode -> vector a -> a Source #

Equivalent to \r -> foldl (roundedAdd r) 0

zipWith_roundedAdd :: RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedAdd

zipWith_roundedSub :: RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedSub

zipWith_roundedMul :: RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedMul

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> vector a -> vector a -> vector a -> vector a Source #

Equivalent to zipWith3 . roundedFusedMultiplyAdd

roundedSum :: (Vector vector a, Num a) => RoundingMode -> vector a -> a Source #

Equivalent to \r -> foldl (roundedAdd r) 0

zipWith_roundedAdd :: Vector vector a => RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedAdd

zipWith_roundedSub :: Vector vector a => RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedSub

zipWith_roundedMul :: Vector vector a => RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedMul

zipWith3_roundedFusedMultiplyAdd :: Vector vector a => RoundingMode -> vector a -> vector a -> vector a -> vector a Source #

Equivalent to zipWith3 . roundedFusedMultiplyAdd

Instances
RoundedRing_Vector Vector Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Double -> Double Source #

zipWith_roundedAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

zipWith_roundedSub :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

zipWith_roundedMul :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double -> Vector Double Source #

RoundedRing_Vector Vector Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Float -> Float Source #

zipWith_roundedAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

zipWith_roundedSub :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

zipWith_roundedMul :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float -> Vector Float Source #

RoundedRing_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble Source #

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

RoundedRing_Vector Vector CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CFloat -> CFloat Source #

zipWith_roundedAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

zipWith_roundedSub :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

zipWith_roundedMul :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

RoundedRing_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble Source #

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

RoundedRing_Vector Vector Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Double -> Double Source #

zipWith_roundedAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

zipWith_roundedSub :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

zipWith_roundedMul :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double -> Vector Double Source #

RoundedRing_Vector Vector Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Float -> Float Source #

zipWith_roundedAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

zipWith_roundedSub :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

zipWith_roundedMul :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float -> Vector Float Source #

RoundedRing_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble Source #

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

RoundedRing_Vector Vector CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CFloat -> CFloat Source #

zipWith_roundedAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

zipWith_roundedSub :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

zipWith_roundedMul :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

RoundedRing_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble Source #

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

(RealFloat a, RealFloatConstants a, Unbox a) => RoundedRing_Vector Vector (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedSum :: RoundingMode -> Vector (ViaRational a) -> ViaRational a Source #

zipWith_roundedAdd :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

zipWith_roundedSub :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

zipWith_roundedMul :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

(RealFloat a, RealFloatConstants a, Storable a) => RoundedRing_Vector Vector (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedSum :: RoundingMode -> Vector (ViaRational a) -> ViaRational a Source #

zipWith_roundedAdd :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

zipWith_roundedSub :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

zipWith_roundedMul :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

class (RoundedFractional a, RoundedRing_Vector vector a) => RoundedFractional_Vector vector a where Source #

Lifted version of RoundedFractional

Minimal complete definition

Nothing

Methods

zipWith_roundedDiv :: RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedDiv

zipWith_roundedDiv :: Vector vector a => RoundingMode -> vector a -> vector a -> vector a Source #

Equivalent to zipWith . roundedDiv

Instances
RoundedFractional_Vector Vector Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

RoundedFractional_Vector Vector Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

RoundedFractional_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

RoundedFractional_Vector Vector CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

RoundedFractional_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

RoundedFractional_Vector Vector Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Double -> Vector Double -> Vector Double Source #

RoundedFractional_Vector Vector Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Float -> Vector Float -> Vector Float Source #

RoundedFractional_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

RoundedFractional_Vector Vector CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat Source #

RoundedFractional_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble Source #

(RealFloat a, RealFloatConstants a, Unbox a) => RoundedFractional_Vector Vector (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

zipWith_roundedDiv :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

(RealFloat a, RealFloatConstants a, Storable a) => RoundedFractional_Vector Vector (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

zipWith_roundedDiv :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

class (RoundedSqrt a, RoundedRing_Vector vector a) => RoundedSqrt_Vector vector a where Source #

Lifted version of RoundedSqrt

Minimal complete definition

Nothing

Methods

map_roundedSqrt :: RoundingMode -> vector a -> vector a Source #

Equivalent to map . roundedSqrt

map_roundedSqrt :: Vector vector a => RoundingMode -> vector a -> vector a Source #

Equivalent to map . roundedSqrt

Instances
RoundedSqrt_Vector Vector Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Double -> Vector Double Source #

RoundedSqrt_Vector Vector Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Float -> Vector Float Source #

RoundedSqrt_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble Source #

RoundedSqrt_Vector Vector CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CFloat -> Vector CFloat Source #

RoundedSqrt_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble Source #

RoundedSqrt_Vector Vector Double Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Double -> Vector Double Source #

RoundedSqrt_Vector Vector Float Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Float -> Vector Float Source #

RoundedSqrt_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble Source #

RoundedSqrt_Vector Vector CFloat Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CFloat -> Vector CFloat Source #

RoundedSqrt_Vector Vector CDouble Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble Source #

(RealFloat a, RealFloatConstants a, Unbox a) => RoundedSqrt_Vector Vector (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

map_roundedSqrt :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) Source #

(RealFloat a, RealFloatConstants a, Storable a) => RoundedSqrt_Vector Vector (ViaRational a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

map_roundedSqrt :: RoundingMode -> Vector (ViaRational a) -> Vector (ViaRational a) Source #