| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Data.Number.IReal.Generators
- data Dig
- newtype Frac = Frac [Dig]
- 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
- uniformIval :: (Integer, Integer) -> Gen IReal
- exprGen :: Floating a => Gen a -> Gen a
- isCauchy :: IReal -> Int -> Int -> Bool
- propIsRealNum :: IReal -> Property
- propIsRealIval :: IReal -> Property
- forAllI :: (IReal -> Bool) -> Bool
Documentation
uniformNum :: (Integer, Integer) -> Gen IReal Source
Generates real numbers uniformly distributed over the given interval.
uniformIval :: (Integer, Integer) -> Gen IReal Source
Generates real intervals of varying width, with midpoints uniformly distributed over given interval.
exprGen :: Floating a => Gen a -> Gen a Source
Generates random expressions built from values generated by argument generator,
arithmetic operators and applications of Floating functions.
propIsRealNum :: IReal -> Property Source
Basic test that the argument is a proper real number (is thin and satisfies Cauchy criterion).
propIsRealIval :: IReal -> Property Source
Basic test that argument is a proper interval (the end points are proper numbers, with left end smaller than right end).