AERN2.Limit

Description

Generic limit operation

Documentation

class HasLimits ix s where Source #

Associated Types

Methods

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

Instances details

HasLimits Int (CN MPBall -> CN MPBall) Source #
Instance details Defined in AERN2.MP.Ball.Limit Associated Types type LimitType Int (CN MPBall -> CN MPBall) Source # Methods limit :: (Int -> CN MPBall -> CN MPBall) -> LimitType Int (CN MPBall -> CN MPBall) Source #
HasLimits Integer (CN MPBall -> CN MPBall) Source #
Instance details Defined in AERN2.MP.Ball.Limit Associated Types type LimitType Integer (CN MPBall -> CN MPBall) Source # Methods limit :: (Integer -> CN MPBall -> CN MPBall) -> LimitType Integer (CN MPBall -> CN MPBall) Source #
HasLimits Rational (CN MPBall -> CN MPBall) Source #
Instance details Defined in AERN2.MP.Ball.Limit Associated Types type LimitType Rational (CN MPBall -> CN MPBall) Source # Methods limit :: (Rational -> CN MPBall -> CN MPBall) -> LimitType Rational (CN MPBall -> CN MPBall) Source #
(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), HasCurrentPrecision p) => HasLimits ix (WithCurrentPrec (CN MPBall) p) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec Associated Types type LimitType ix (WithCurrentPrec (CN MPBall) p) Source # Methods limit :: (ix -> WithCurrentPrec (CN MPBall) p) -> LimitType ix (WithCurrentPrec (CN MPBall) p) Source #