• Contents
• What is QuickCheck?
• A Simple Example
• Using QuickCheck
• Properties
• Conditional Properties
• Quantified Properties
• Observing Test Case Distribution
• Counting Trivial Cases
• Classifying Test Cases
• Collecting Data Values
• Combining Observations
• Test Data Generators: The Type Gen
• Choosing Between Alternatives
• The Size of Test Data
• Generating Recursive Data Types
• Useful Generator Combinators
• Class Arbitrary
• Properties of Functions
• Tip: Using newtype