Copyright | disco team and contributors |
---|---|
License | BSD-3-Clause |
Maintainer | byorgey@gmail.com |
Safe Haskell | None |
Language | Haskell2010 |
Properties of disco functions.
Synopsis
- invertMotive :: SearchMotive -> SearchMotive
- invertPropResult :: TestResult -> TestResult
- generateSamples :: Member Random r => SearchType -> IEnumeration a -> Sem r ([a], SearchType)
Documentation
invertMotive :: SearchMotive -> SearchMotive Source #
Toggles which outcome (finding or not finding the thing being searched for) qualifies as success, without changing the thing being searched for.
invertPropResult :: TestResult -> TestResult Source #
Flips the success or failure status of a PropResult
, leaving
the explanation unchanged.
generateSamples :: Member Random r => SearchType -> IEnumeration a -> Sem r ([a], SearchType) Source #
Select samples from an enumeration according to a search type. Also returns
a SearchType
describing the results, which may be Exhaustive
if the
enumeration is no larger than the number of samples requested.