 | QuickCheck-2.1.0.3: 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.7.2 |