|
Test.QuickCheck.Modifiers |
|
|
|
|
|
Synopsis |
|
|
|
|
Type-level modifiers for changing generator behavior
|
|
|
Blind x: as x, but x does not have to be in the Show class.
| Constructors | |
|
|
|
Fixed x: as x, but will not be shrunk.
| Constructors | |
|
|
|
Ordered xs: guarantees that xs is ordered.
| Constructors | |
|
|
|
NonEmpty xs: guarantees that xs is non-empty.
| Constructors | |
|
|
|
Positive x: guarantees that x > 0.
| Constructors | |
|
|
|
NonZero x: guarantees that x /= 0.
| Constructors | |
|
|
|
NonNegative x: guarantees that x >= 0.
| Constructors | |
|
|
|
Smart _ x: tries a different order when shrinking.
| Constructors | |
|
|
|
Shrink2 x: allows 2 shrinking steps at the same time when shrinking x
| Constructors | |
|
|
|
Shrinking _ x: allows for maintaining a state during shrinking.
| Constructors | |
|
|
class ShrinkState s a where | Source |
|
| Methods | | | shrinkState :: a -> s -> [(a, s)] | Source |
|
|
|
|
Produced by Haddock version 2.6.0 |