aern2-real-0.2.11.0: Real numbers as convergent sequences of intervals
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.Real.Limit

Description

Limits of Cauchy Real sequences.

Orphan instances

HasLimits Int CReal Source # 
Instance details

Associated Types

type LimitType Int CReal #

Methods

limit :: (Int -> CReal) -> LimitType Int CReal #

HasLimits Integer CReal Source # 
Instance details

Associated Types

type LimitType Integer CReal #

Methods

limit :: (Integer -> CReal) -> LimitType Integer CReal #

HasLimits Rational CReal Source # 
Instance details

Associated Types

type LimitType Rational CReal #

Methods

limit :: (Rational -> CReal) -> LimitType Rational CReal #

HasLimits Rational (CReal -> CReal) Source # 
Instance details

Associated Types

type LimitType Rational (CReal -> CReal) #

Methods

limit :: (Rational -> CReal -> CReal) -> LimitType Rational (CReal -> CReal) #