Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Generic limit operation
Documentation
class HasLimits ix s where Source #
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 # | |
Defined in AERN2.MP.WithCurrentPrec.Limit | |
HasLimits Rational (CN MPBall -> CN MPBall) Source # | |
HasLimits Integer (CN MPBall -> CN MPBall) Source # | |
HasLimits Int (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 # | |
Defined in AERN2.MP.WithCurrentPrec.Limit 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 #