Safe Haskell	None
Language	Haskell2010

Numeric.Rounded.Hardware.Backend.ViaRational

Documentation

newtype ViaRational a Source #

Constructors

ViaRational a

Instances

Unbox a => Vector Vector (ViaRational a) Source #
Instance details 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) Source #
Instance details 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) 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 #
(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 #
(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 #
Eq a => Eq (ViaRational a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Backend.ViaRational Methods (==) :: ViaRational a -> ViaRational a -> Bool # (/=) :: ViaRational a -> ViaRational a -> Bool #
Num a => Num (ViaRational a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Numeric.Rounded.Hardware.Backend.ViaRational Methods showsPrec :: Int -> ViaRational a -> ShowS # show :: ViaRational a -> String # showList :: [ViaRational a] -> ShowS #
Generic (ViaRational a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Numeric.Rounded.Hardware.Backend.ViaRational Methods rnf :: ViaRational a -> () #
Unbox a => Unbox (ViaRational a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Backend.ViaRational
(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 #
(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 #
(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 #
newtype MVector s (ViaRational a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Backend.ViaRational newtype MVector s (ViaRational a) = MV_ViaRational (MVector s a)
type Rep (ViaRational a) Source #
Instance details 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) Source #
Instance details Defined in Numeric.Rounded.Hardware.Backend.ViaRational newtype Vector (ViaRational a) = V_ViaRational (Vector a)