Numeric.Rounded.Hardware.Interval

Documentation

data Interval a

Constructors

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

Empty

Instances

(Prim a, Ord a, Fractional a) => IArray UArray (Interval a)

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)

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)

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)

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)

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)

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)

Defined in Numeric.Rounded.Hardware.Interval

Methods

showsPrec :: Int -> Interval a -> ShowS

show :: Interval a -> String

showList :: [Interval a] -> ShowS

Generic (Interval a)

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)

Defined in Numeric.Rounded.Hardware.Interval

Methods

rnf :: Interval a -> ()

(Unbox a, Ord a, Fractional a) => Unbox (Interval a)

Defined in Numeric.Rounded.Hardware.Interval

(Num a, RoundedRing a, RealFloat a) => IsInterval (Interval a)

Defined in Numeric.Rounded.Hardware.Interval

Associated Types

type EndPoint (Interval a)

Methods

withEndPoints :: (Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a) -> Interval a -> Interval a

singleton :: EndPoint (Interval a) -> Interval a

makeInterval :: Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a

width :: Interval a -> Rounded 'TowardInf (EndPoint (Interval a))

hull :: Interval a -> Interval a -> Interval a

intersection :: Interval a -> Interval a -> Interval a

maybeIntersection :: Interval a -> Interval a -> Maybe (Interval a)

equalAsSet :: Interval a -> Interval a -> Bool

subset :: Interval a -> Interval a -> Bool

weaklyLess :: Interval a -> Interval a -> Bool

precedes :: Interval a -> Interval a -> Bool

interior :: Interval a -> Interval a -> Bool

strictLess :: Interval a -> Interval a -> Bool

strictPrecedes :: Interval a -> Interval a -> Bool

disjoint :: Interval a -> Interval a -> Bool

(Prim a, Ord a, Fractional a) => MArray (STUArray s) (Interval a) (ST s)

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)

Defined in Numeric.Rounded.Hardware.Interval

newtype MVector s (Interval a) = MV_Interval (MVector s (a, a))

type Rep (Interval a)

Defined in Numeric.Rounded.Hardware.Interval

type Rep (Interval a) = D1 ('MetaData "Interval" "Numeric.Rounded.Hardware.Interval" "rounded-hw-0.2.0-G2mMTdTBXOG87Ub6xfZ4rG" '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)

Defined in Numeric.Rounded.Hardware.Interval

newtype Vector (Interval a) = V_Interval (Vector (a, a))

type EndPoint (Interval a)

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

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

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

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

null :: Interval a -> Bool

inf :: Interval a -> Rounded 'TowardNegInf a

sup :: Interval a -> Rounded 'TowardInf a

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

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

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

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