Copyright | (c) Koen Claessen, John Hughes 2001 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | libraries@haskell.org |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Test.QuickCheck
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 () Source
verboseCheck :: Testable a => a -> IO () Source
Constructors
Config | |
Fields
|
class Arbitrary a where Source
Instances
Arbitrary Bool | |
Arbitrary Double | |
Arbitrary Float | |
Arbitrary Int | |
Arbitrary Integer | |
Arbitrary () | |
Arbitrary a => Arbitrary [a] | |
Arbitrary a => Arbitrary (Maybe a) | |
(Arbitrary a, Arbitrary b) => Arbitrary (a -> b) | |
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b) | |
(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) |