| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
AERN2.WithGlobalParam.Type
Description
The type of values that depends on an immutable gloabal parameter, such as FP precision.
- data WithGlobalParamP prm a = WithGlobalParamP {
- withGlobalState_s :: Maybe prm
- withGlobalState_a :: a
- pWGParam :: Maybe prm -> a -> WithGlobalParamP prm a
- type SuitableForWGParam prm a = (Show a, Show prm, HasOrderCertainly prm prm)
- 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
- 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 WithGlobalParamA to prm a = QA to (WithGlobalParamP prm a)
- type WithGlobalParam prm a = WithGlobalParamA (->) prm a
- newWGParam :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a
- newWGParamSimple :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a
- fmapWGParam :: Arrow to => (a -> b) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b
The protocol and type of fast converging sequences
data WithGlobalParamP prm a Source #
Constructors
| WithGlobalParamP | |
Fields
| |
Instances
pWGParam :: Maybe prm -> a -> WithGlobalParamP prm a Source #
type SuitableForWGParam prm a = (Show a, Show prm, HasOrderCertainly prm prm) Source #
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.)
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 WithGlobalParamA to prm a = QA to (WithGlobalParamP prm a) Source #
type WithGlobalParam prm a = WithGlobalParamA (->) prm a Source #
newWGParam :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a Source #
newWGParamSimple :: (QAArrow to, SuitableForWGParam prm a) => Maybe prm -> a -> ((Maybe (QAId to), Maybe (QAId to)) -> prm `to` a) -> WithGlobalParamA to prm a Source #
fmapWGParam :: Arrow to => (a -> b) -> WithGlobalParamA to prm a -> WithGlobalParamA to prm b Source #