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 CReal"
   

Documentation

specCReal :: Spec

tCReal :: T CReal

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

Orphan instances

Arbitrary CReal

Methods

arbitrary :: Gen CReal

shrink :: CReal -> [CReal]