Test.QuickCheck

# Running tests

quickCheck

data Args

data Result

stdArgs

quickCheckWith

quickCheckWithResult

quickCheckResult

## Running tests verbosely

verboseCheck

verboseCheckWith

verboseCheckWithResult

verboseCheckResult

verbose

# Random generation

data Gen a

## Generator combinators

sized

resize

choose

promote

suchThat

suchThatMaybe

oneof

frequency

elements

growingElements

listOf

listOf1

vectorOf

## Generators which use Arbitrary

vector

orderedList

## Generator debugging

sample

sample'

# Arbitrary and CoArbitrary classes

class Arbitrary a

class CoArbitrary a

## Helper functions for implementing arbitrary

arbitrarySizedIntegral

arbitrarySizedFractional

arbitrarySizedBoundedIntegral

arbitraryBoundedIntegral

arbitraryBoundedRandom

## Helper functions for implementing shrink

shrinkNothing

shrinkIntegral

shrinkRealFrac

## Helper functions for implementing coarbitrary

variant

(><)

coarbitraryIntegral

coarbitraryReal

coarbitraryShow

## Type-level modifiers for changing generator behavior

data Blind a

data Fixed a

data OrderedList a

data NonEmptyList a

data Positive a

data NonZero a

data NonNegative a

data Smart a

data Shrink2 a

data Shrinking s a

class ShrinkState s a

# Properties

type Property

data Prop

class Testable prop

## Property combinators

mapSize

shrinking

(==>)

forAll

forAllShrink

### Experimental combinators for conjunction and disjunction

(.&.)

(.&&.)

conjoin

(.||.)

disjoin

### Handling failure

whenFail

printTestCase

whenFail'

expectFailure

within

### Test distribution

label

collect

classify

cover

# Text formatting

data Str

ranges