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


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


-- | A "standard" continued fraction, whose terms are all either positive
--   or negative.
module Math.ContinuedFraction.Simple
data CF

-- | Produce the (possibly infinite) decimal expansion of a continued
--   fraction
showCF :: CF -> String

-- | The square root of 2
sqrt2 :: CF

-- | e
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)


-- | A continued fraction whose terms may be positive, negative or zero.
--   The methods in <tt>Floating</tt> are supported, with the exception of
--   <tt>asin</tt>, <tt>acos</tt> and <tt>atan</tt>.
module Math.ContinuedFraction
type CF = CF' Integer
newtype CF' a
CF :: [a] -> CF' a

-- | Produce the (possibly infinite) decimal expansion of a continued
--   fraction
cfString :: CF -> String

-- | Convert a continued fraction whose terms are continued fractions into
--   an ordinary continued fraction with integer terms
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