Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data WithLipschitz f Source #
WithLipschitz f f |
HasLimits Rational (WithLipschitz (MPBall -> CN MPBall)) Source # | |
HasLimits Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source # | |
type LimitType Rational (WithLipschitz (MPBall -> CN MPBall)) Source # | |
type LimitType Rational (WithLipschitz (CauchyReal -> CauchyRealCN)) Source # | |