AERN2.MP.Ball.Tests

Tests for operations on arbitrary precision balls.

To run the tests using stack, execute:

   stack test aern2-mp --test-arguments "-a 1000 -m MPBall"
   

Documentation

specMPBall :: Spec

tMPBall :: T MPBall

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

Orphan instances

Arbitrary MPBall

Methods

arbitrary :: Gen MPBall

shrink :: MPBall -> [MPBall]