Safe Haskell	None
Language	Haskell2010

Numeric.Rounded.Hardware.Interval

Documentation

data Interval a Source #

Constructors

I !(Rounded 'TowardNegInf a) !(Rounded 'TowardInf a)
Empty

Instances

Instances details

(Prim a, Ord a, Fractional a) => IArray UArray (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods bounds :: Ix i => UArray i (Interval a) -> (i, i) # numElements :: Ix i => UArray i (Interval a) -> Int unsafeArray :: Ix i => (i, i) -> [(Int, Interval a)] -> UArray i (Interval a) unsafeAt :: Ix i => UArray i (Interval a) -> Int -> Interval a unsafeReplace :: Ix i => UArray i (Interval a) -> [(Int, Interval a)] -> UArray i (Interval a) unsafeAccum :: Ix i => (Interval a -> e' -> Interval a) -> UArray i (Interval a) -> [(Int, e')] -> UArray i (Interval a) unsafeAccumArray :: Ix i => (Interval a -> e' -> Interval a) -> Interval a -> (i, i) -> [(Int, e')] -> UArray i (Interval a)
(Unbox a, Ord a, Fractional a) => Vector Vector (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Interval a) -> m (Vector (Interval a)) # basicUnsafeThaw :: PrimMonad m => Vector (Interval a) -> m (Mutable Vector (PrimState m) (Interval a)) # basicLength :: Vector (Interval a) -> Int # basicUnsafeSlice :: Int -> Int -> Vector (Interval a) -> Vector (Interval a) # basicUnsafeIndexM :: Monad m => Vector (Interval a) -> Int -> m (Interval a) # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Interval a) -> Vector (Interval a) -> m () # elemseq :: Vector (Interval a) -> Interval a -> b -> b #
(Unbox a, Ord a, Fractional a) => MVector MVector (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods basicLength :: MVector s (Interval a) -> Int # basicUnsafeSlice :: Int -> Int -> MVector s (Interval a) -> MVector s (Interval a) # basicOverlaps :: MVector s (Interval a) -> MVector s (Interval a) -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Interval a)) # basicInitialize :: PrimMonad m => MVector (PrimState m) (Interval a) -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Interval a -> m (MVector (PrimState m) (Interval a)) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Interval a) -> Int -> m (Interval a) # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Interval a) -> Int -> Interval a -> m () # basicClear :: PrimMonad m => MVector (PrimState m) (Interval a) -> m () # basicSet :: PrimMonad m => MVector (PrimState m) (Interval a) -> Interval a -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Interval a) -> MVector (PrimState m) (Interval a) -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Interval a) -> MVector (PrimState m) (Interval a) -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Interval a) -> Int -> m (MVector (PrimState m) (Interval a)) #
(Num a, RoundedFractional a, RoundedSqrt a, Eq a, RealFloat a, RealFloatConstants a) => Floating (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods pi :: Interval a # exp :: Interval a -> Interval a # log :: Interval a -> Interval a # sqrt :: Interval a -> Interval a # (**) :: Interval a -> Interval a -> Interval a # logBase :: Interval a -> Interval a -> Interval a # sin :: Interval a -> Interval a # cos :: Interval a -> Interval a # tan :: Interval a -> Interval a # asin :: Interval a -> Interval a # acos :: Interval a -> Interval a # atan :: Interval a -> Interval a # sinh :: Interval a -> Interval a # cosh :: Interval a -> Interval a # tanh :: Interval a -> Interval a # asinh :: Interval a -> Interval a # acosh :: Interval a -> Interval a # atanh :: Interval a -> Interval a # log1p :: Interval a -> Interval a # expm1 :: Interval a -> Interval a # log1pexp :: Interval a -> Interval a # log1mexp :: Interval a -> Interval a #
(Num a, RoundedFractional a) => Fractional (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods (/) :: Interval a -> Interval a -> Interval a # recip :: Interval a -> Interval a # fromRational :: Rational -> Interval a #
(Num a, RoundedRing a) => Num (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods (+) :: Interval a -> Interval a -> Interval a # (-) :: Interval a -> Interval a -> Interval a # (*) :: Interval a -> Interval a -> Interval a # negate :: Interval a -> Interval a # abs :: Interval a -> Interval a # signum :: Interval a -> Interval a # fromInteger :: Integer -> Interval a #
Show a => Show (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods showsPrec :: Int -> Interval a -> ShowS # show :: Interval a -> String # showList :: [Interval a] -> ShowS #
Generic (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Associated Types type Rep (Interval a) :: Type -> Type # Methods from :: Interval a -> Rep (Interval a) x # to :: Rep (Interval a) x -> Interval a #
NFData a => NFData (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods rnf :: Interval a -> () #
(Unbox a, Ord a, Fractional a) => Unbox (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval
(Num a, RoundedRing a, RealFloat a) => IsInterval (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Associated Types type EndPoint (Interval a) Source # Methods withEndPoints :: (Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a) -> Interval a -> Interval a Source # singleton :: EndPoint (Interval a) -> Interval a Source # makeInterval :: Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a Source # width :: Interval a -> Rounded 'TowardInf (EndPoint (Interval a)) Source # hull :: Interval a -> Interval a -> Interval a Source # intersection :: Interval a -> Interval a -> Interval a Source # maybeIntersection :: Interval a -> Interval a -> Maybe (Interval a) Source # equalAsSet :: Interval a -> Interval a -> Bool Source # subset :: Interval a -> Interval a -> Bool Source # weaklyLess :: Interval a -> Interval a -> Bool Source # precedes :: Interval a -> Interval a -> Bool Source # interior :: Interval a -> Interval a -> Bool Source # strictLess :: Interval a -> Interval a -> Bool Source # strictPrecedes :: Interval a -> Interval a -> Bool Source # disjoint :: Interval a -> Interval a -> Bool Source #
(Prim a, Ord a, Fractional a) => MArray (STUArray s) (Interval a) (ST s) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval Methods getBounds :: Ix i => STUArray s i (Interval a) -> ST s (i, i) # getNumElements :: Ix i => STUArray s i (Interval a) -> ST s Int newArray :: Ix i => (i, i) -> Interval a -> ST s (STUArray s i (Interval a)) # newArray_ :: Ix i => (i, i) -> ST s (STUArray s i (Interval a)) # unsafeNewArray_ :: Ix i => (i, i) -> ST s (STUArray s i (Interval a)) unsafeRead :: Ix i => STUArray s i (Interval a) -> Int -> ST s (Interval a) unsafeWrite :: Ix i => STUArray s i (Interval a) -> Int -> Interval a -> ST s ()
newtype MVector s (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval newtype MVector s (Interval a) = MV_Interval (MVector s (a, a))
type Rep (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval type Rep (Interval a) = D1 ('MetaData "Interval" "Numeric.Rounded.Hardware.Interval" "rounded-hw-0.2.0-F2p8nmUKJ5B12wjB8Zye7P" 'False) (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Rounded 'TowardNegInf a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Rounded 'TowardInf a))) :+: C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type))
newtype Vector (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval newtype Vector (Interval a) = V_Interval (Vector (a, a))
type EndPoint (Interval a) Source #
Instance details Defined in Numeric.Rounded.Hardware.Interval type EndPoint (Interval a) = a

increasing :: (forall r. Rounding r => Rounded r a -> Rounded r a) -> Interval a -> Interval a Source #

maxI :: Ord a => Interval a -> Interval a -> Interval a Source #

minI :: Ord a => Interval a -> Interval a -> Interval a Source #

powInt :: (Ord a, Num a, RoundedRing a) => Interval a -> Int -> Interval a Source #

null :: Interval a -> Bool Source #

inf :: Interval a -> Rounded 'TowardNegInf a Source #

sup :: Interval a -> Rounded 'TowardInf a Source #

width :: (Num a, RoundedRing a) => Interval a -> Rounded 'TowardInf a Source #

widthUlp :: RealFloat a => Interval a -> Maybe Integer Source #

hull :: RoundedRing a => Interval a -> Interval a -> Interval a Source #

intersection :: RoundedRing a => Interval a -> Interval a -> Interval a Source #