Numeric.Rounded.Hardware.Backend.ViaRational

Documentation

newtype ViaRational a

Constructors

ViaRational a

Instances

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

(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) => 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, 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) => 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, Unbox a) => RoundedSqrt_Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

Unbox a => Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

basicUnsafeFreeze :: Mutable Vector s (ViaRational a) -> ST s (Vector (ViaRational a))

basicUnsafeThaw :: Vector (ViaRational a) -> ST s (Mutable Vector s (ViaRational a))

basicLength :: Vector (ViaRational a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (ViaRational a) -> Vector (ViaRational a)

basicUnsafeIndexM :: Vector (ViaRational a) -> Int -> Box (ViaRational a)

basicUnsafeCopy :: Mutable Vector s (ViaRational a) -> Vector (ViaRational a) -> ST s ()

elemseq :: Vector (ViaRational a) -> ViaRational a -> b -> b

Unbox a => MVector MVector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

basicLength :: MVector s (ViaRational a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (ViaRational a) -> MVector s (ViaRational a)

basicOverlaps :: MVector s (ViaRational a) -> MVector s (ViaRational a) -> Bool

basicUnsafeNew :: Int -> ST s (MVector s (ViaRational a))

basicInitialize :: MVector s (ViaRational a) -> ST s ()

basicUnsafeReplicate :: Int -> ViaRational a -> ST s (MVector s (ViaRational a))

basicUnsafeRead :: MVector s (ViaRational a) -> Int -> ST s (ViaRational a)

basicUnsafeWrite :: MVector s (ViaRational a) -> Int -> ViaRational a -> ST s ()

basicClear :: MVector s (ViaRational a) -> ST s ()

basicSet :: MVector s (ViaRational a) -> ViaRational a -> ST s ()

basicUnsafeCopy :: MVector s (ViaRational a) -> MVector s (ViaRational a) -> ST s ()

basicUnsafeMove :: MVector s (ViaRational a) -> MVector s (ViaRational a) -> ST s ()

basicUnsafeGrow :: MVector s (ViaRational a) -> Int -> ST s (MVector s (ViaRational a))

Storable a => Storable (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

sizeOf :: ViaRational a -> Int

alignment :: ViaRational a -> Int

peekElemOff :: Ptr (ViaRational a) -> Int -> IO (ViaRational a)

pokeElemOff :: Ptr (ViaRational a) -> Int -> ViaRational a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (ViaRational a)

pokeByteOff :: Ptr b -> Int -> ViaRational a -> IO ()

peek :: Ptr (ViaRational a) -> IO (ViaRational a)

poke :: Ptr (ViaRational a) -> ViaRational a -> IO ()

Generic (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Associated Types

type Rep (ViaRational a) :: Type -> Type

Methods

from :: ViaRational a -> Rep (ViaRational a) x

to :: Rep (ViaRational a) x -> ViaRational a

Num a => Num (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

(+) :: ViaRational a -> ViaRational a -> ViaRational a

(-) :: ViaRational a -> ViaRational a -> ViaRational a

(*) :: ViaRational a -> ViaRational a -> ViaRational a

negate :: ViaRational a -> ViaRational a

abs :: ViaRational a -> ViaRational a

signum :: ViaRational a -> ViaRational a

fromInteger :: Integer -> ViaRational a

Show a => Show (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

showsPrec :: Int -> ViaRational a -> ShowS

show :: ViaRational a -> String

showList :: [ViaRational a] -> ShowS

NFData a => NFData (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

rnf :: ViaRational a -> ()

Eq a => Eq (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

(==) :: ViaRational a -> ViaRational a -> Bool

(/=) :: ViaRational a -> ViaRational a -> Bool

Ord a => Ord (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

compare :: ViaRational a -> ViaRational a -> Ordering

(<) :: ViaRational a -> ViaRational a -> Bool

(<=) :: ViaRational a -> ViaRational a -> Bool

(>) :: ViaRational a -> ViaRational a -> Bool

(>=) :: ViaRational a -> ViaRational a -> Bool

max :: ViaRational a -> ViaRational a -> ViaRational a

min :: ViaRational a -> ViaRational a -> ViaRational 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))

(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

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

Unbox a => Unbox (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

newtype MVector s (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

newtype MVector s (ViaRational a) = MV_ViaRational (MVector s a)

type Rep (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

type Rep (ViaRational a) = D1 ('MetaData "ViaRational" "Numeric.Rounded.Hardware.Backend.ViaRational" "rounded-hw-0.4.0.1-5Nr863w8BTv3a8f4WHn90x" 'True) (C1 ('MetaCons "ViaRational" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

newtype Vector (ViaRational a) = V_ViaRational (Vector a)