Numeric.Rounded.Hardware.Class

Documentation

class Ord a => RoundedRing a where

Rounding-controlled version of Num.

Minimal complete definition

roundedAdd, roundedSub, roundedMul, roundedFusedMultiplyAdd, roundedFromInteger, backendNameT

Methods

roundedAdd :: RoundingMode -> a -> a -> a

roundedSub :: RoundingMode -> a -> a -> a

roundedMul :: RoundingMode -> a -> a -> a

roundedFusedMultiplyAdd :: RoundingMode -> a -> a -> a -> a

roundedFromInteger :: RoundingMode -> Integer -> a

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

\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)

\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)

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)

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

backendNameT :: Tagged a String

Instances

RoundedRing Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedAdd :: RoundingMode -> Double -> Double -> Double

roundedSub :: RoundingMode -> Double -> Double -> Double

roundedMul :: RoundingMode -> Double -> Double -> Double

roundedFusedMultiplyAdd :: RoundingMode -> Double -> Double -> Double -> Double

roundedFromInteger :: RoundingMode -> Integer -> Double

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

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

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

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)

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

backendNameT :: Tagged Double String

RoundedRing Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedAdd :: RoundingMode -> Float -> Float -> Float

roundedSub :: RoundingMode -> Float -> Float -> Float

roundedMul :: RoundingMode -> Float -> Float -> Float

roundedFusedMultiplyAdd :: RoundingMode -> Float -> Float -> Float -> Float

roundedFromInteger :: RoundingMode -> Integer -> Float

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

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

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

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)

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

backendNameT :: Tagged Float String

RoundedRing Integer

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedAdd :: RoundingMode -> Integer -> Integer -> Integer

roundedSub :: RoundingMode -> Integer -> Integer -> Integer

roundedMul :: RoundingMode -> Integer -> Integer -> Integer

roundedFusedMultiplyAdd :: RoundingMode -> Integer -> Integer -> Integer -> Integer

roundedFromInteger :: RoundingMode -> Integer -> Integer

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

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

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

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)

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

backendNameT :: Tagged Integer String

RoundedRing LongDouble

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

Defined in Numeric.Rounded.Hardware.Backend.X87LongDouble

Methods

roundedAdd :: RoundingMode -> LongDouble -> LongDouble -> LongDouble

roundedSub :: RoundingMode -> LongDouble -> LongDouble -> LongDouble

roundedMul :: RoundingMode -> LongDouble -> LongDouble -> LongDouble

roundedFusedMultiplyAdd :: RoundingMode -> LongDouble -> LongDouble -> LongDouble -> LongDouble

roundedFromInteger :: RoundingMode -> Integer -> LongDouble

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

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

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

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)

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

backendNameT :: Tagged LongDouble String

RoundedRing CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedAdd :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedSub :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedMul :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedFusedMultiplyAdd :: RoundingMode -> CDouble -> CDouble -> CDouble -> CDouble

roundedFromInteger :: RoundingMode -> Integer -> CDouble

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

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

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

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)

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

backendNameT :: Tagged CDouble String

RoundedRing CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedAdd :: RoundingMode -> CFloat -> CFloat -> CFloat

roundedSub :: RoundingMode -> CFloat -> CFloat -> CFloat

roundedMul :: RoundingMode -> CFloat -> CFloat -> CFloat

roundedFusedMultiplyAdd :: RoundingMode -> CFloat -> CFloat -> CFloat -> CFloat

roundedFromInteger :: RoundingMode -> Integer -> CFloat

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

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

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

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)

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

backendNameT :: Tagged CFloat String

RoundedRing CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedAdd :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedSub :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedMul :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedFusedMultiplyAdd :: RoundingMode -> CDouble -> CDouble -> CDouble -> CDouble

roundedFromInteger :: RoundingMode -> Integer -> CDouble

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

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

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

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)

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

backendNameT :: Tagged CDouble String

Integral a => RoundedRing (Ratio a)

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedAdd :: RoundingMode -> Ratio a -> Ratio a -> Ratio a

roundedSub :: RoundingMode -> Ratio a -> Ratio a -> Ratio a

roundedMul :: RoundingMode -> Ratio a -> Ratio a -> Ratio a

roundedFusedMultiplyAdd :: RoundingMode -> Ratio a -> Ratio a -> Ratio a -> Ratio a

roundedFromInteger :: RoundingMode -> Integer -> Ratio a

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))

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))

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))

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))

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

backendNameT :: Tagged (Ratio a) String

(RealFloat a, Num a, RealFloatConstants a) => RoundedRing (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedAdd :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a

roundedSub :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a

roundedMul :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a

roundedFusedMultiplyAdd :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a -> ViaRational a

roundedFromInteger :: RoundingMode -> Integer -> ViaRational a

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))

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))

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))

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))

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

backendNameT :: Tagged (ViaRational a) String

class RoundedRing a => RoundedFractional a where

Rounding-controlled version of Fractional.

Minimal complete definition

roundedDiv, roundedFromRational

Methods

roundedDiv :: RoundingMode -> a -> a -> a

roundedRecip :: RoundingMode -> a -> a

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

roundedFromRational :: RoundingMode -> Rational -> a

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

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

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

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)

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

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

Instances

RoundedFractional Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedDiv :: RoundingMode -> Double -> Double -> Double

roundedRecip :: RoundingMode -> Double -> Double

roundedFromRational :: RoundingMode -> Rational -> Double

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

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

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)

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

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

RoundedFractional Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedDiv :: RoundingMode -> Float -> Float -> Float

roundedRecip :: RoundingMode -> Float -> Float

roundedFromRational :: RoundingMode -> Rational -> Float

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

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

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)

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

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

RoundedFractional Integer

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedDiv :: RoundingMode -> Integer -> Integer -> Integer

roundedRecip :: RoundingMode -> Integer -> Integer

roundedFromRational :: RoundingMode -> Rational -> Integer

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

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

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)

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

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

RoundedFractional LongDouble

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

Defined in Numeric.Rounded.Hardware.Backend.X87LongDouble

Methods

roundedDiv :: RoundingMode -> LongDouble -> LongDouble -> LongDouble

roundedRecip :: RoundingMode -> LongDouble -> LongDouble

roundedFromRational :: RoundingMode -> Rational -> LongDouble

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

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

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)

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

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

RoundedFractional CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedDiv :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedRecip :: RoundingMode -> CDouble -> CDouble

roundedFromRational :: RoundingMode -> Rational -> CDouble

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

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

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)

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

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

RoundedFractional CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedDiv :: RoundingMode -> CFloat -> CFloat -> CFloat

roundedRecip :: RoundingMode -> CFloat -> CFloat

roundedFromRational :: RoundingMode -> Rational -> CFloat

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

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

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)

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

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

RoundedFractional CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedDiv :: RoundingMode -> CDouble -> CDouble -> CDouble

roundedRecip :: RoundingMode -> CDouble -> CDouble

roundedFromRational :: RoundingMode -> Rational -> CDouble

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

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

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)

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

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

Integral a => RoundedFractional (Ratio a)

Defined in Numeric.Rounded.Hardware.Internal.Class

Methods

roundedDiv :: RoundingMode -> Ratio a -> Ratio a -> Ratio a

roundedRecip :: RoundingMode -> Ratio a -> Ratio a

roundedFromRational :: RoundingMode -> Rational -> Ratio a

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

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))

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))

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

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

(RealFloat a, Num a, RealFloatConstants a) => RoundedFractional (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedDiv :: RoundingMode -> ViaRational a -> ViaRational a -> ViaRational a

roundedRecip :: RoundingMode -> ViaRational a -> ViaRational a

roundedFromRational :: RoundingMode -> Rational -> ViaRational a

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

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))

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))

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

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

class RoundedRing a => RoundedSqrt a where

Rounding-controlled version of sqrt.

Minimal complete definition

roundedSqrt

Methods

roundedSqrt :: RoundingMode -> a -> a

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

Instances

RoundedSqrt Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSqrt :: RoundingMode -> Double -> Double

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

RoundedSqrt Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSqrt :: RoundingMode -> Float -> Float

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

RoundedSqrt LongDouble

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

Defined in Numeric.Rounded.Hardware.Backend.X87LongDouble

Methods

roundedSqrt :: RoundingMode -> LongDouble -> LongDouble

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

RoundedSqrt CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSqrt :: RoundingMode -> CDouble -> CDouble

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

RoundedSqrt CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSqrt :: RoundingMode -> CFloat -> CFloat

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

RoundedSqrt CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedSqrt :: RoundingMode -> CDouble -> CDouble

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

(RealFloat a, RealFloatConstants a) => RoundedSqrt (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

roundedSqrt :: RoundingMode -> ViaRational a -> ViaRational a

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

class RoundedRing a => RoundedRing_Vector vector a where

Lifted version of RoundedRing

Minimal complete definition

Nothing

Methods

roundedSum :: RoundingMode -> vector a -> a

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

zipWith_roundedAdd :: RoundingMode -> vector a -> vector a -> vector a

Equivalent to zipWith . roundedAdd

zipWith_roundedSub :: RoundingMode -> vector a -> vector a -> vector a

Equivalent to zipWith . roundedSub

zipWith_roundedMul :: RoundingMode -> vector a -> vector a -> vector a

Equivalent to zipWith . roundedMul

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> vector a -> vector a -> vector a -> vector a

Equivalent to zipWith3 . roundedFusedMultiplyAdd

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

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

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

Equivalent to zipWith . roundedAdd

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

Equivalent to zipWith . roundedSub

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

Equivalent to zipWith . roundedMul

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

Equivalent to zipWith3 . roundedFusedMultiplyAdd

Instances

RoundedRing_Vector Vector Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Double -> Double

zipWith_roundedAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

zipWith_roundedSub :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

zipWith_roundedMul :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double -> Vector Double

RoundedRing_Vector Vector Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Float -> Float

zipWith_roundedAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

zipWith_roundedSub :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

zipWith_roundedMul :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float -> Vector Float

RoundedRing_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble

RoundedRing_Vector Vector CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CFloat -> CFloat

zipWith_roundedAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

zipWith_roundedSub :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

zipWith_roundedMul :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat -> Vector CFloat

RoundedRing_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble

RoundedRing_Vector Vector Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Double -> Double

zipWith_roundedAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

zipWith_roundedSub :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

zipWith_roundedMul :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Double -> Vector Double -> Vector Double -> Vector Double

RoundedRing_Vector Vector Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

roundedSum :: RoundingMode -> Vector Float -> Float

zipWith_roundedAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

zipWith_roundedSub :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

zipWith_roundedMul :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector Float -> Vector Float -> Vector Float -> Vector Float

RoundedRing_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble

RoundedRing_Vector Vector CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

roundedSum :: RoundingMode -> Vector CFloat -> CFloat

zipWith_roundedAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

zipWith_roundedSub :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

zipWith_roundedMul :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat -> Vector CFloat

RoundedRing_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

roundedSum :: RoundingMode -> Vector CDouble -> CDouble

zipWith_roundedAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedSub :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith_roundedMul :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

zipWith3_roundedFusedMultiplyAdd :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble -> Vector CDouble

(RealFloat a, RealFloatConstants a, Unbox a) => RoundedRing_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

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

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

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

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

(RealFloat a, RealFloatConstants a, Storable a) => RoundedRing_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

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

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

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

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

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

Lifted version of RoundedFractional

Minimal complete definition

Nothing

Methods

zipWith_roundedDiv :: RoundingMode -> vector a -> vector a -> vector a

Equivalent to zipWith . roundedDiv

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

Equivalent to zipWith . roundedDiv

Instances

RoundedFractional_Vector Vector Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

RoundedFractional_Vector Vector Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

RoundedFractional_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

RoundedFractional_Vector Vector CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

RoundedFractional_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

RoundedFractional_Vector Vector Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Double -> Vector Double -> Vector Double

RoundedFractional_Vector Vector Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

zipWith_roundedDiv :: RoundingMode -> Vector Float -> Vector Float -> Vector Float

RoundedFractional_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

RoundedFractional_Vector Vector CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CFloat -> Vector CFloat -> Vector CFloat

RoundedFractional_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

zipWith_roundedDiv :: RoundingMode -> Vector CDouble -> Vector CDouble -> Vector CDouble

(RealFloat a, RealFloatConstants a, Unbox a) => RoundedFractional_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

(RealFloat a, RealFloatConstants a, Storable a) => RoundedFractional_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

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

Lifted version of RoundedSqrt

Minimal complete definition

Nothing

Methods

map_roundedSqrt :: RoundingMode -> vector a -> vector a

Equivalent to map . roundedSqrt

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

Equivalent to map . roundedSqrt

Instances

RoundedSqrt_Vector Vector Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Double -> Vector Double

RoundedSqrt_Vector Vector Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Float -> Vector Float

RoundedSqrt_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble

RoundedSqrt_Vector Vector CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CFloat -> Vector CFloat

RoundedSqrt_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble

RoundedSqrt_Vector Vector Double

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Double -> Vector Double

RoundedSqrt_Vector Vector Float

Defined in Numeric.Rounded.Hardware.Backend.Default

Methods

map_roundedSqrt :: RoundingMode -> Vector Float -> Vector Float

RoundedSqrt_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble

RoundedSqrt_Vector Vector CFloat

Defined in Numeric.Rounded.Hardware.Backend.C

Methods

map_roundedSqrt :: RoundingMode -> Vector CFloat -> Vector CFloat

RoundedSqrt_Vector Vector CDouble

Defined in Numeric.Rounded.Hardware.Backend.FastFFI

Methods

map_roundedSqrt :: RoundingMode -> Vector CDouble -> Vector CDouble

(RealFloat a, RealFloatConstants a, Unbox a) => RoundedSqrt_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

(RealFloat a, RealFloatConstants a, Storable a) => RoundedSqrt_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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