aern2-mp-0.2.16.1: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainer[email protected]
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.MP.Ball.Limit

Description

Limits of MPBall sequences.

Documentation

limitMPBall :: (Accuracy -> ix) -> (ix -> CN MPBall -> CN MPBall) -> CN MPBall -> CN MPBall Source #

Orphan instances

HasLimits Rational (CN MPBall -> CN MPBall) Source # 
Instance details

Associated Types

type LimitType Rational (CN MPBall -> CN MPBall) 
Instance details

Defined in AERN2.MP.Ball.Limit

type LimitType Rational (CN MPBall -> CN MPBall) = CN MPBall -> CN MPBall

Methods

limit :: (Rational -> CN MPBall -> CN MPBall) -> LimitType Rational (CN MPBall -> CN MPBall) Source #

HasLimits Integer (CN MPBall -> CN MPBall) Source # 
Instance details

Associated Types

type LimitType Integer (CN MPBall -> CN MPBall) 
Instance details

Defined in AERN2.MP.Ball.Limit

type LimitType Integer (CN MPBall -> CN MPBall) = CN MPBall -> CN MPBall

Methods

limit :: (Integer -> CN MPBall -> CN MPBall) -> LimitType Integer (CN MPBall -> CN MPBall) Source #

HasLimits Int (CN MPBall -> CN MPBall) Source # 
Instance details

Associated Types

type LimitType Int (CN MPBall -> CN MPBall) 
Instance details

Defined in AERN2.MP.Ball.Limit

type LimitType Int (CN MPBall -> CN MPBall) = CN MPBall -> CN MPBall

Methods

limit :: (Int -> CN MPBall -> CN MPBall) -> LimitType Int (CN MPBall -> CN MPBall) Source #