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

AERN2.MP.WithCurrentPrec.Limit

Description

WithCurrentPrec limits

Orphan instances

(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

Associated Types

type LimitType ix (WithCurrentPrec (CN MPBall) p) Source #

Methods

limit :: (ix -> WithCurrentPrec (CN MPBall) p) -> LimitType ix (WithCurrentPrec (CN MPBall) p) Source #