|
| Test.QuickCheck | | Portability | portable | | Stability | experimental | | Maintainer | libraries@haskell.org |
|
|
|
| Description |
| QuickCheck v.0.2
DRAFT implementation; last update 000104.
Koen Claessen, John Hughes.
This file represents work in progress, and might change at a later date.
|
|
|
| Documentation |
|
| quickCheck :: Testable a => a -> IO () |
|
| verboseCheck :: Testable a => a -> IO () |
|
| test :: Testable a => a -> IO () |
|
| data Config |
|
|
| defaultConfig :: Config |
|
| check :: Testable a => Config -> a -> IO () |
|
| forAll :: (Show a, Testable b) => Gen a -> (a -> b) -> Property |
|
| (==>) :: Testable a => Bool -> a -> Property |
|
| label :: Testable a => String -> a -> Property |
|
| collect :: (Show a, Testable b) => a -> b -> Property |
|
| classify :: Testable a => Bool -> String -> a -> Property |
|
| trivial :: Testable a => Bool -> a -> Property |
|
| data Gen a |
Instances | |
|
|
| elements :: [a] -> Gen a |
|
| two :: Monad m => m a -> m (a, a) |
|
| three :: Monad m => m a -> m (a, a, a) |
|
| four :: Monad m => m a -> m (a, a, a, a) |
|
| sized :: (Int -> Gen a) -> Gen a |
|
| resize :: Int -> Gen a -> Gen a |
|
| choose :: Random a => (a, a) -> Gen a |
|
| oneof :: [Gen a] -> Gen a |
|
| frequency :: [(Int, Gen a)] -> Gen a |
|
| vector :: Arbitrary a => Int -> Gen [a] |
|
| class Arbitrary a where |
| | Methods | | arbitrary :: Gen a | | | coarbitrary :: a -> Gen b -> Gen b |
| | Instances | | Arbitrary Bool | | Arbitrary Double | | Arbitrary Float | | Arbitrary Int | | Arbitrary Integer | | Arbitrary () | | (Arbitrary a, Arbitrary b) => Arbitrary (a, b) | | (Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c) | | (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d) | | (Arbitrary a, Arbitrary b) => Arbitrary (a -> b) | | Arbitrary a => Arbitrary (Maybe a) | | Arbitrary (Poly a) | | Arbitrary a => Arbitrary [a] | | (Arbitrary a, Arbitrary b) => Arbitrary (Either a b) |
|
|
|
| rand :: Gen StdGen |
|
| promote :: (a -> Gen b) -> Gen (a -> b) |
|
| variant :: Int -> Gen a -> Gen a |
|
| class Testable a where |
| | Methods | | | Instances | |
|
|
| data Property |
Instances | |
|
|
| data Result |
| Constructors | | Instances | |
|
|
| generate :: Int -> StdGen -> Gen a -> a |
|
| evaluate :: Testable a => a -> Gen Result |
|
| Produced by Haddock version 0.8 |