aern2-mp-0.2.8.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), KnownNat p) => HasLimits ix (CN (WithCurrentPrec p (CN MPBall))) Source # 
Instance details

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

Associated Types

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

Methods

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