Data.Number.IReal.Generators

Documentation

data Dig

Constructors

M

Z

P

newtype Frac

Constructors

Frac [Dig]

Instances

Arbitrary Frac

m :: Frac -> Frac

z :: Frac -> Frac

p :: Frac -> Frac

ftail :: Frac -> Frac

frac :: Gen Frac

nfrac :: Gen Frac

pfrac :: Gen Frac

expand :: [Dig] -> Integer -> Int -> Integer

genIReal :: Gen Integer -> Gen Frac -> Gen IReal

uniformNum :: (Integer, Integer) -> Gen IReal

Generates real numbers uniformly distributed over the given interval.

uniformIval :: (Integer, Integer) -> Gen IReal

Generates real intervals of varying width, with midpoints uniformly distributed over given interval.

exprGen :: Floating a => Gen a -> Gen a

Generates random expressions built from values generated by argument generator, arithmetic operators and applications of Floating functions.

isCauchy :: IReal -> Int -> Int -> Bool

propIsRealNum :: IReal -> Property

Basic test that the argument is a proper real number (is thin and satisfies Cauchy criterion).

propIsRealIval :: IReal -> Property

Basic test that argument is a proper interval (the end points are proper numbers, with left end smaller than right end).

forAllI :: (IReal -> Bool) -> Bool