| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell98 |
AERN2.Real.Type
Contents
Description
The type of Cauchy real numbers
Synopsis
- type CauchyRealP = SequenceP MPBall
- pCR :: CauchyRealP
- type CauchyRealCNP = SequenceP (CN MPBall)
- pCRCN :: CauchyRealCNP
- type CauchyRealA to = SequenceA to MPBall
- type CauchyReal = CauchyRealA (->)
- newCR :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> AccuracySG `to` MPBall) -> CauchyRealA to
- type CauchyRealCNA to = SequenceA to (CN MPBall)
- type CauchyRealCN = CauchyRealCNA (->)
- newCRCN :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> AccuracySG `to` CN MPBall) -> CauchyRealCNA to
- type CauchyRealAtAccuracy = SequenceAtAccuracy MPBall
- cauchyRealAtAccuracy :: CauchyReal -> AccuracySG -> CauchyRealAtAccuracy
- realName :: SequenceA to a -> String
- realId :: QA to p -> Maybe (QAId to)
- realSources :: QA to p -> [QAId to]
- realRename :: (String -> String) -> SequenceA to a -> SequenceA to a
- realWithAccuracy :: QAArrow to => CauchyRealA to -> AccuracySG `to` MPBall
- realWithAccuracyA :: QAArrow to => Maybe (QAId to) -> (CauchyRealA to, AccuracySG) `to` MPBall
- realsWithAccuracyA :: QAArrow to => Maybe (QAId to) -> ([CauchyRealA to], AccuracySG) `to` [MPBall]
- convergentList2CauchyRealA :: QAArrow to => String -> [MPBall] -> CauchyRealA to
- seqByPrecision2CauchyRealA :: QAArrow to => String -> (Precision -> MPBall) -> CauchyRealA to
- type CanBeReal t = CanBeRealA (->) t
- real :: CanBeRealA (->) t => t -> CauchyReal
- type CanBeRealA to t = ConvertibleExactly t (CauchyRealA to)
- realA :: CanBeRealA to t => t -> CauchyRealA to
- type CanBeComplex t = CanBeComplexA (->) t
- complex :: CanBeComplexA (->) t => t -> Complex CauchyReal
- type CanBeComplexA to t = ConvertibleExactly t (Complex (CauchyRealA to))
- complexA :: CanBeComplexA to t => t -> Complex (CauchyRealA to)
Documentation
type CauchyRealP = SequenceP MPBall #
pCR :: CauchyRealP #
type CauchyRealCNP = SequenceP (CN MPBall) #
pCRCN :: CauchyRealCNP #
type CauchyRealA to = SequenceA to MPBall #
type CauchyReal = CauchyRealA (->) #
newCR :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> AccuracySG `to` MPBall) -> CauchyRealA to #
type CauchyRealCNA to = SequenceA to (CN MPBall) #
type CauchyRealCN = CauchyRealCNA (->) #
newCRCN :: QAArrow to => String -> [AnyProtocolQA to] -> ((Maybe (QAId to), Maybe (QAId to)) -> AccuracySG `to` CN MPBall) -> CauchyRealCNA to #
realSources :: QA to p -> [QAId to] #
realWithAccuracy :: QAArrow to => CauchyRealA to -> AccuracySG `to` MPBall #
Get a ball approximation of the real number with at least the specified accuracy.
(A specialisation of qaMakeQuery for Cauchy reals.)
realWithAccuracyA :: QAArrow to => Maybe (QAId to) -> (CauchyRealA to, AccuracySG) `to` MPBall #
realsWithAccuracyA :: QAArrow to => Maybe (QAId to) -> ([CauchyRealA to], AccuracySG) `to` [MPBall] #
convergentList2CauchyRealA :: QAArrow to => String -> [MPBall] -> CauchyRealA to #
seqByPrecision2CauchyRealA :: QAArrow to => String -> (Precision -> MPBall) -> CauchyRealA to #
type CanBeReal t = CanBeRealA (->) t #
real :: CanBeRealA (->) t => t -> CauchyReal #
type CanBeRealA to t = ConvertibleExactly t (CauchyRealA to) #
realA :: CanBeRealA to t => t -> CauchyRealA to #
type CanBeComplex t = CanBeComplexA (->) t #
complex :: CanBeComplexA (->) t => t -> Complex CauchyReal #
type CanBeComplexA to t = ConvertibleExactly t (Complex (CauchyRealA to)) #
complexA :: CanBeComplexA to t => t -> Complex (CauchyRealA to) #
Orphan instances
| ConvertibleWithPrecision CauchyReal MPBall # | |
Methods safeConvertP :: Precision -> CauchyReal -> ConvertResult MPBall # | |