| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
AERN2.MPBallWithGlobalPrec
Description
This type is useful for iRRAM-style arrow-generic computation over MPBall with a global precision.
Synopsis
- type MPBallWithGlobalPrecP = WithGlobalParamP Precision MPBall
- pMPBallWGPrec :: MPBallWithGlobalPrecP
- wgprmName :: WithGlobalParamA to prm a -> String
- wgprmId :: WithGlobalParamA to prm a -> Maybe (QAId to)
- wgprmSources :: WithGlobalParamA to prm a -> [QAId to]
- wgprmRename :: (String -> String) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm a
- wgprmQuery :: QAArrow to => WithGlobalParamA to prm a -> Maybe (QAId to) -> prm `to` a
- (?) :: QAArrow to => QA to p -> Q p `to` A p
- wgprmQueryA :: QAArrow to => Maybe (QAId to) -> (WithGlobalParamA to prm a, prm) `to` a
- wgprmListQueryA :: QAArrow to => Maybe (QAId to) -> ([WithGlobalParamA to prm a], prm) `to` [a]
- type MPBallWithGlobalPrecA to = WithGlobalParamA to Precision MPBall
- type MPBallWithGlobalPrec = MPBallWithGlobalPrecA (->)
- newMPBallWGPrec :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> Precision `to` MPBall) -> MPBallWithGlobalPrecA to
- newMPBallWGPrecSimple :: QAArrow to => ((Maybe (QAId to), Maybe (QAId to)) -> Precision `to` MPBall) -> MPBallWithGlobalPrecA to
The protocol and type of objects depending on a global parameter
wgprmName :: WithGlobalParamA to prm a -> String #
wgprmId :: WithGlobalParamA to prm a -> Maybe (QAId to) #
wgprmSources :: WithGlobalParamA to prm a -> [QAId to] #
wgprmRename :: (String -> String) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm a #
wgprmQuery :: QAArrow to => WithGlobalParamA to prm a -> Maybe (QAId to) -> prm `to` a #
Get an approximation of the limit with at least the specified accuracy.
(A specialisation of qaMakeQuery for values with global state.)
(?) :: QAArrow to => QA to p -> Q p `to` A p infix 1 #
An infix synonym of qaMakeQuery with no source
wgprmQueryA :: QAArrow to => Maybe (QAId to) -> (WithGlobalParamA to prm a, prm) `to` a #
wgprmListQueryA :: QAArrow to => Maybe (QAId to) -> ([WithGlobalParamA to prm a], prm) `to` [a] #
type MPBallWithGlobalPrecA to = WithGlobalParamA to Precision MPBall #
type MPBallWithGlobalPrec = MPBallWithGlobalPrecA (->) #
newMPBallWGPrec :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> Precision `to` MPBall) -> MPBallWithGlobalPrecA to #
newMPBallWGPrecSimple :: QAArrow to => ((Maybe (QAId to), Maybe (QAId to)) -> Precision `to` MPBall) -> MPBallWithGlobalPrecA to #
Orphan instances
| QAArrow to => ConvertibleExactly Int (MPBallWithGlobalPrecA to) # | |
Methods safeConvertExactly :: Int -> ConvertResult (MPBallWithGlobalPrecA to) # | |
| QAArrow to => ConvertibleExactly Integer (MPBallWithGlobalPrecA to) # | |
Methods safeConvertExactly :: Integer -> ConvertResult (MPBallWithGlobalPrecA to) # | |
| QAArrow to => ConvertibleExactly Rational (MPBallWithGlobalPrecA to) # | |
Methods safeConvertExactly :: Rational -> ConvertResult (MPBallWithGlobalPrecA to) # | |
| QAArrow to => ConvertibleExactly Dyadic (MPBallWithGlobalPrecA to) # | |
Methods safeConvertExactly :: Dyadic -> ConvertResult (MPBallWithGlobalPrecA to) # | |
| QAArrow to => ConvertibleExactly CauchyReal (MPBallWithGlobalPrecA to) # | |
Methods safeConvertExactly :: CauchyReal -> ConvertResult (MPBallWithGlobalPrecA to) # | |