Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
AERN2.MP.Float.Auxi
Description
Auxiliary structures for bounds on result and printing.
Documentation
data BoundsCEDU a Source #
Constructors
BoundsCEDU | |
Fields
|
ceduDownUp :: BoundsCEDU a -> (a, a) Source #
ceduCentreErr :: BoundsCEDU a -> (a, a) Source #