aern2-mp-0.2.2.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.MP.Ball.Tests

Description

Tests for operations on arbitrary precision balls.

To run the tests using stack, execute:

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

Documentation

specMPBall :: Spec Source #

tMPBall :: T MPBall Source #

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

Orphan instances

Arbitrary MPBall Source # 
Instance details

Methods

arbitrary :: Gen MPBall #

shrink :: MPBall -> [MPBall] #