aern2-mp-0.2.2.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 Int (CN MPBall -> CN MPBall) Source # 
Instance details

Defined in AERN2.MP.Ball.Limit

Associated Types

type 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 #

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 #

(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 #