Test.Tasty.QuickCheck

tasty-quickcheck-0.8.4: QuickCheck support for the Tasty test framework.

Safe Haskell | None
Language | Haskell2010

Test.Tasty.QuickCheck

Contents

- Internal

Description

This module allows to use QuickCheck properties in tasty.

Synopsis

- testProperty :: Testable a => TestName -> a -> TestTree
- newtype QuickCheckTests = QuickCheckTests Int
- newtype QuickCheckReplay = QuickCheckReplay (Maybe (QCGen, Int))
- newtype QuickCheckShowReplay = QuickCheckShowReplay Bool
- newtype QuickCheckMaxSize = QuickCheckMaxSize Int
- newtype QuickCheckMaxRatio = QuickCheckMaxRatio Int
- newtype QuickCheckVerbose = QuickCheckVerbose Bool
- module Test.QuickCheck
- newtype QC = QC Property

# Documentation

testProperty :: Testable a => TestName -> a -> TestTree

Create a `Test` for a QuickCheck `Testable` property

newtype QuickCheckTests

Number of test cases for QuickCheck to generate

Constructors

QuickCheckTests Int |

Instances

Enum QuickCheckTests |
Eq QuickCheckTests |
Integral QuickCheckTests |
Num QuickCheckTests |
Ord QuickCheckTests |
Real QuickCheckTests |
IsOption QuickCheckTests |

newtype QuickCheckReplay

Replay a previous test using a replay token

Constructors

QuickCheckReplay (Maybe (QCGen, Int)) |

Instances

IsOption QuickCheckReplay |

newtype QuickCheckShowReplay

If a test case fails unexpectedly, show the replay token

Constructors

QuickCheckShowReplay Bool |

Instances

IsOption QuickCheckShowReplay |

newtype QuickCheckMaxSize

Size of the biggest test cases

Constructors

QuickCheckMaxSize Int |

Instances

Enum QuickCheckMaxSize |
Eq QuickCheckMaxSize |
Integral QuickCheckMaxSize |
Num QuickCheckMaxSize |
Ord QuickCheckMaxSize |
Real QuickCheckMaxSize |
IsOption QuickCheckMaxSize |

newtype QuickCheckMaxRatio

Maximum number of of discarded tests per successful test before giving up.

Constructors

QuickCheckMaxRatio Int |

Instances

Enum QuickCheckMaxRatio |
Eq QuickCheckMaxRatio |
Integral QuickCheckMaxRatio |
Num QuickCheckMaxRatio |
Ord QuickCheckMaxRatio |
Real QuickCheckMaxRatio |
IsOption QuickCheckMaxRatio |

newtype QuickCheckVerbose

Show the test cases that QuickCheck generates

Constructors

QuickCheckVerbose Bool |

Instances

IsOption QuickCheckVerbose |

module Test.QuickCheck

# Internal

This is exposed for testing purposes and not considered as a part of the public API. You probably shouldn't need it.

newtype QC

Constructors

QC Property |

Instances

IsTest QC |