| 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 #