Property package:hedgehog

A property test, along with some configurable limits like how many times to run the test.
Creates a property with the default configuration.
The name of a property. Should be constructed using OverloadedStrings:
"apples" :: PropertyName
The property monad transformer allows both the generation of test inputs and the assertion of expectations.
Configuration for a property test.
The number of properties in a group.
The name of a property. Should be constructed using OverloadedStrings:
"apples" :: PropertyName
The property monad transformer allows both the generation of test inputs and the assertion of expectations.
If this is Nothing, we take the Skip from the environment variable HEDGEHOG_SKIP.