aern2-real-0.1.1.0: Exact real numbers via Cauchy sequences and MPFR

Safe Haskell	None
Language	Haskell98

AERN2.Limit

Documentation

class HasLimits ix s where #

Minimal complete definition

Associated Types

type LimitType ix s #

Methods

limit :: (ix -> s) -> LimitType ix s #

Instances

HasLimits Rational CauchyReal #
Associated Types type LimitType Rational CauchyReal :: * # Methods limit :: (Rational -> CauchyReal) -> LimitType Rational CauchyReal #
HasLimits Rational (WithLipschitz (MPBall -> CN MPBall)) #
Associated Types type LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) :: * # Methods limit :: (Rational -> WithLipschitz (MPBall -> CN MPBall)) -> LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) #
HasLimits Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
Associated Types type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) :: * # Methods limit :: (Rational -> WithLipschitz (CauchyReal -> CauchyRealCN)) -> LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
HasLimits Rational (MPBall -> CN MPBall) #
Associated Types type LimitType Rational (MPBall -> CN MPBall) :: * # Methods limit :: (Rational -> MPBall -> CN MPBall) -> LimitType Rational (MPBall -> CN MPBall) #
HasLimits Rational (CauchyReal -> CauchyRealCN) #
Associated Types type LimitType Rational (CauchyReal -> CauchyRealCN) :: * # Methods limit :: (Rational -> CauchyReal -> CauchyRealCN) -> LimitType Rational (CauchyReal -> CauchyRealCN) #

data WithLipschitz f #

Constructors

WithLipschitz f f

Instances

HasLimits Rational (WithLipschitz (MPBall -> CN MPBall)) #
Associated Types type LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) :: * # Methods limit :: (Rational -> WithLipschitz (MPBall -> CN MPBall)) -> LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) #
HasLimits Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
Associated Types type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) :: * # Methods limit :: (Rational -> WithLipschitz (CauchyReal -> CauchyRealCN)) -> LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
type LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) #
type LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) = MPBall -> CN MPBall
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) #
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) = CauchyReal -> CauchyRealCN