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.2.0-G2mMTdTBXOG87Ub6xfZ4rG" '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)