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