| Copyright | (c) Michal Konecny |
|---|---|
| License | BSD3 |
| Maintainer | mikkonecny@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
AERN2.Complex
Description
Exact complex numbers represented by Cauchy sequences of (Complex MPBall)'s.
Synopsis
- type CComplex = Complex CReal
- ccomplex :: CanBeCComplex t => t -> CComplex
- type HasCComplex t = ConvertibleExactly CComplex t
- type CanBeCComplex t = ConvertibleExactly t CComplex
complex numbers and conversions
ccomplex :: CanBeCComplex t => t -> CComplex Source #
type HasCComplex t = ConvertibleExactly CComplex t Source #
type CanBeCComplex t = ConvertibleExactly t CComplex Source #
Orphan instances
| (HasCReals t, HasIntegers t) => ConvertibleExactly CReal (Complex t) Source # | |
Methods safeConvertExactly :: CReal -> ConvertResult (Complex t) # | |