Safe Haskell	None
Language	Haskell2010

Numeric.Rounded.Hardware.Backend.ViaRational

Documentation

newtype ViaRational a Source #

Constructors

ViaRational a

Instances

Instances details

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