Copyright	(C) Frank Staals
License	see the LICENSE file
Maintainer	Frank Staals
Safe Haskell	None
Language	GHC2021

HGeometry.Number.Real.Interval

Description

Interval Arithmetic. We use doubles as initial approximation of the interval.

Synopsis

data IntervalReal r
exactValue :: IntervalReal r -> r
fromExact :: Real r => r -> IntervalReal r

Documentation

data IntervalReal r Source #

Instances

Instances details

NFData r => NFData (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

rnf :: IntervalReal r -> () #

Generic (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Associated Types

type Rep (IntervalReal r)

Instance details

Defined in HGeometry.Number.Real.Interval

type Rep (IntervalReal r) = D1 ('MetaData "IntervalReal" "HGeometry.Number.Real.Interval" "hgeometry-combinatorial-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (Interval Double)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

Methods

from :: IntervalReal r -> Rep (IntervalReal r) x #

to :: Rep (IntervalReal r) x -> IntervalReal r #

(Num r, Ord r) => Num (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

(+) :: IntervalReal r -> IntervalReal r -> IntervalReal r #

(-) :: IntervalReal r -> IntervalReal r -> IntervalReal r #

(*) :: IntervalReal r -> IntervalReal r -> IntervalReal r #

negate :: IntervalReal r -> IntervalReal r #

abs :: IntervalReal r -> IntervalReal r #

signum :: IntervalReal r -> IntervalReal r #

fromInteger :: Integer -> IntervalReal r #

(Read r, Real r) => Read (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

readsPrec :: Int -> ReadS (IntervalReal r) #

readList :: ReadS [IntervalReal r] #

readPrec :: ReadPrec (IntervalReal r) #

readListPrec :: ReadPrec [IntervalReal r] #

(Fractional r, Ord r) => Fractional (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

(/) :: IntervalReal r -> IntervalReal r -> IntervalReal r #

recip :: IntervalReal r -> IntervalReal r #

fromRational :: Rational -> IntervalReal r #

Real r => Real (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

toRational :: IntervalReal r -> Rational #

Show r => Show (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

showsPrec :: Int -> IntervalReal r -> ShowS #

show :: IntervalReal r -> String #

showList :: [IntervalReal r] -> ShowS #

Eq r => Eq (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

(==) :: IntervalReal r -> IntervalReal r -> Bool #

(/=) :: IntervalReal r -> IntervalReal r -> Bool #

Ord r => Ord (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

compare :: IntervalReal r -> IntervalReal r -> Ordering #

(<) :: IntervalReal r -> IntervalReal r -> Bool #

(<=) :: IntervalReal r -> IntervalReal r -> Bool #

(>) :: IntervalReal r -> IntervalReal r -> Bool #

(>=) :: IntervalReal r -> IntervalReal r -> Bool #

max :: IntervalReal r -> IntervalReal r -> IntervalReal r #

min :: IntervalReal r -> IntervalReal r -> IntervalReal r #

(Random r, Real r) => Random (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

Methods

randomR :: RandomGen g => (IntervalReal r, IntervalReal r) -> g -> (IntervalReal r, g) Source #

random :: RandomGen g => g -> (IntervalReal r, g) Source #

randomRs :: RandomGen g => (IntervalReal r, IntervalReal r) -> g -> [IntervalReal r] Source #

randoms :: RandomGen g => g -> [IntervalReal r] Source #

type Rep (IntervalReal r) Source #

Instance details

Defined in HGeometry.Number.Real.Interval

type Rep (IntervalReal r) = D1 ('MetaData "IntervalReal" "HGeometry.Number.Real.Interval" "hgeometry-combinatorial-1.0.0.0-inplace" 'False) (C1 ('MetaCons "IR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (Interval Double)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

exactValue :: IntervalReal r -> r Source #

Get the exact vavlue of the interval-real.

fromExact :: Real r => r -> IntervalReal r Source #

Construct an intervalReal from a given r value.