cf-0.4.2: Exact real arithmetic using continued fractions

Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.ContinuedFraction.Interval

Documentation

data Extended a Source

Constructors

Finite a 
Infinity 

Instances

Eq a => Eq (Extended a) 
Num a => Num (Extended a) 
Show a => Show (Extended a) 

data Interval a Source

Constructors

Interval (Extended a) (Extended a) Bool 

Instances

interval :: Ord a => Extended a -> Extended a -> Interval a Source

smallerThan :: (Num a, Ord a) => Interval a -> Interval a -> Bool Source

epsilon :: Rational Source

comparePosition :: Interval Rational -> Interval Rational -> Maybe Ordering Source

intervalDigit :: RealFrac a => Interval a -> Maybe Integer Source

subset :: Ord a => Interval a -> Interval a -> Bool Source

elementOf :: Ord a => Extended a -> Interval a -> Bool Source

mergeInterval :: Ord a => Interval a -> Interval a -> Interval a Source

doTricky :: Ord a => Interval a -> Interval a -> Interval a Source