AERN2.Real.Tests

Tests for operations on cauchy real numbers.

To run the tests using stack, execute:

   stack test aern2-real --test-arguments "-a 1000 -m Real"
   

Documentation

specCauchyReal :: Spec

tCauchyReal :: T CauchyReal

A runtime representative of type CauchyReal. Used for specialising polymorphic tests to concrete types.

tCauchyRealAtAccuracy :: T CauchyRealAtAccuracy

Orphan instances

Arbitrary CauchyRealAtAccuracy

Methods

arbitrary :: Gen CauchyRealAtAccuracy

shrink :: CauchyRealAtAccuracy -> [CauchyRealAtAccuracy]

Arbitrary CauchyReal

Methods

arbitrary :: Gen CauchyReal

shrink :: CauchyReal -> [CauchyReal]