aern2-real-0.2.16.1: Real numbers as convergent sequences of intervals
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

AERN2.Real.Tests

Description

Tests for operations on Cauchy real numbers.

To run the tests using stack, execute:

   stack test aern2-real --test-arguments "-a 1000 -m CReal"
   
Synopsis

Documentation

tCReal :: T CReal Source #

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

Orphan instances

Arbitrary CReal Source # 
Instance details

Methods

arbitrary :: Gen CReal #

shrink :: CReal -> [CReal] #