Numeric.Rounded.Hardware.Backend.ViaRational

Documentation

newtype ViaRational a

Constructors

ViaRational a

Instances

Unbox a => Vector Vector (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (ViaRational a) -> m (Vector (ViaRational a))

basicUnsafeThaw :: PrimMonad m => Vector (ViaRational a) -> m (Mutable Vector (PrimState m) (ViaRational a))

basicLength :: Vector (ViaRational a) -> Int

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

basicUnsafeIndexM :: Monad m => Vector (ViaRational a) -> Int -> m (ViaRational a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (ViaRational a) -> Vector (ViaRational a) -> m ()

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 :: PrimMonad m => Int -> m (MVector (PrimState m) (ViaRational a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> ViaRational a -> m (MVector (PrimState m) (ViaRational a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> Int -> m (ViaRational a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> Int -> ViaRational a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> ViaRational a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> MVector (PrimState m) (ViaRational a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> MVector (PrimState m) (ViaRational a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (ViaRational a) -> Int -> m (MVector (PrimState m) (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)

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

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

Eq a => Eq (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

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

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

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

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

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

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

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

NFData a => NFData (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

Methods

rnf :: ViaRational a -> ()

Unbox a => Unbox (ViaRational a)

Defined in Numeric.Rounded.Hardware.Backend.ViaRational

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

(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

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.1.0.0-Ifb4HiKrB91HX8bvMjgd5p" 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)