-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Exact real arithmetic using continued fractions
--   
@package cf
@version 0.3

module Math.ContinuedFraction.Simple
data CF
digits :: CF -> [Integer]

-- | Produce a decimal representation of a number
showCF :: CF -> String
sqrt2 :: CF
exp1 :: CF
instance Show CF
instance RealFrac CF
instance Real CF
instance Fractional CF
instance Num CF
instance Ord CF
instance Eq CF

module Math.ContinuedFraction.Interval
data Extended a
Finite :: a -> Extended a
Infinity :: Extended a
data Interval a
Interval :: (Extended a) -> (Extended a) -> Interval a
smallerThan :: (Num a, Ord a) => Interval a -> Interval a -> Bool
epsilon :: Rational
comparePosition :: Interval Rational -> Interval Rational -> Maybe Ordering
intervalDigit :: RealFrac a => Interval a -> Maybe Integer
subset :: Ord a => Interval a -> Interval a -> Bool
elementOf :: Ord a => Extended a -> Interval a -> Bool
mergeInterval :: Ord a => Interval a -> Interval a -> Interval a
instance Eq a => Eq (Extended a)
instance Eq a => Eq (Interval a)
instance Show a => Show (Extended a)
instance Num a => Num (Extended a)
instance Show (Interval Rational)

module Math.ContinuedFraction
type CF = CF' Integer
newtype CF' a
CF :: [a] -> CF' a
cfString :: CF -> String
cfcf :: CF' CF -> CF
instance Floating CF
instance RealFrac CF
instance Real CF
instance Ord CF
instance Eq CF
instance Show CF
instance Fractional CF
instance Num CF
instance HasFractionField CF
instance HasFractionField Rational
instance HasFractionField Integer