AERN-Real-0.10.0.1: arbitrary precision interval arithmetic for approximating exact real numbers

Portabilityportable
Stabilityexperimental
Maintainermik@konecny.aow.cz

Data.Number.ER.BasicTypes.Tests.Generate

Description

Instances of Arbitrary so that values can be randomly generated for use in QuickCheck tests.

Documentation

data Nat10 Source

Constructors

Nat10 Int 

Instances

data Nat100 Source

Constructors

Nat100 Int 

Instances

data Ix10 Source

Constructors

Ix10 EffortIndex 

Instances

data Ix20 Source

Constructors

Ix20 EffortIndex 

Instances

data Gran100 Source

Constructors

Gran100 Granularity 

Instances

data Gran1000 Source

Constructors

Gran1000 Granularity 

Instances

data SmallRatio Source

Constructors

SmallRatio Int Int 

Instances