test package:registry-hedgehog

Create a Tasty test from a Hedgehog property called only once

A test monad allows the assertion of expectations.

Create a Test from a Hedgehog property

Assemble a number of tests into a cohesive group

The number of successful tests that need to be run before a property test is considered successful. Can be constructed using numeric literals:

200 :: TestLimit

A test monad transformer allows the assertion of expectations.

This redefines the HedgehogTest from tasty-hedgehog to display color during the reporting

Hedgehog Property as a Tasty Test

The number of successful test cases required before Hedgehog will pass a test

Add some options to child tests

A single test of some particular type

Fold a test tree into a single value. The fold result type should be a monoid. This is used to fold multiple results in a test group. In particular, empty groups get folded into mempty. Apart from pure convenience, this function also does the following useful things:

1. Keeping track of the current options (which may change due to PlusTestOptions nodes)
2. Filtering out the tests which do not match the patterns

Thus, it is preferred to an explicit recursive traversal of the tree.

Set the minimum number of tests which must be successful for a property to pass

Convert a test to a leaf of the TestTree.

Set the number of times a property should be executed before it is considered successful. If you have a test that does not involve any generators and thus does not need to run repeatedly, you can use withTests 1 to define a property that will only be checked once.