| 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.
- 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 Source #
wgprmSources :: WithGlobalParamA to prm a -> [QAId to] Source #
wgprmRename :: (String -> String) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm a Source #
wgprmQuery :: QAArrow to => WithGlobalParamA to prm a -> Maybe (QAId to) -> prm `to` a Source #
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 Source #
An infix synonym of qaMakeQuery with no source
wgprmQueryA :: QAArrow to => Maybe (QAId to) -> (WithGlobalParamA to prm a, prm) `to` a Source #
wgprmListQueryA :: QAArrow to => Maybe (QAId to) -> ([WithGlobalParamA to prm a], prm) `to` [a] Source #
type MPBallWithGlobalPrecA to = WithGlobalParamA to Precision MPBall Source #
type MPBallWithGlobalPrec = MPBallWithGlobalPrecA (->) Source #
newMPBallWGPrec :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> Precision `to` MPBall) -> MPBallWithGlobalPrecA to Source #
newMPBallWGPrecSimple :: QAArrow to => ((Maybe (QAId to), Maybe (QAId to)) -> Precision `to` MPBall) -> MPBallWithGlobalPrecA to Source #
Orphan instances
| QAArrow to0 => ConvertibleExactly Int (MPBallWithGlobalPrecA to0) Source # | |
| QAArrow to0 => ConvertibleExactly Integer (MPBallWithGlobalPrecA to0) Source # | |
| QAArrow to0 => ConvertibleExactly Rational (MPBallWithGlobalPrecA to0) Source # | |
| QAArrow to0 => ConvertibleExactly Dyadic (MPBallWithGlobalPrecA to0) Source # | |
| QAArrow to0 => ConvertibleExactly CauchyReal (MPBallWithGlobalPrecA to0) Source # | |