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

Safe Haskell	None
Language	Haskell98

AERN2.Limit

Documentation

class HasLimits ix s where Source #

Minimal complete definition

Associated Types

type LimitType ix s Source #

Methods

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

Instances

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

data WithLipschitz f Source #

Constructors

WithLipschitz f f

Instances

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