Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

AERN2.Limit

Description

Generic limit operation

Documentation

class HasLimits ix s where Source #

Associated Types

type LimitType ix s Source #

Methods

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

Instances

Instances details

(HasLimits ix (CN MPBall -> CN MPBall), LimitType ix (CN MPBall -> CN MPBall) ~ (CN MPBall -> CN MPBall), KnownNat p) => HasLimits ix (CN (WithCurrentPrec p (CN MPBall))) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Limit Associated Types type LimitType ix (CN (WithCurrentPrec p (CN MPBall))) Source # Methods limit :: (ix -> CN (WithCurrentPrec p (CN MPBall))) -> LimitType ix (CN (WithCurrentPrec p (CN MPBall))) Source #
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), KnownNat p) => HasLimits ix (WithCurrentPrec p (CN MPBall)) Source #
Instance details Defined in AERN2.MP.WithCurrentPrec.Limit Associated Types type LimitType ix (WithCurrentPrec p (CN MPBall)) Source # Methods limit :: (ix -> WithCurrentPrec p (CN MPBall)) -> LimitType ix (WithCurrentPrec p (CN MPBall)) Source #

type HasLimitsSameType ix s = (HasLimits ix s, LimitType ix s ~ s) Source #