| Copyright | (C) 2017 ATS Advanced Telematic Systems GmbH |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Stevan Andjelkovic <stevan@advancedtelematic.com> |
| Stability | provisional |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
Test.StateMachine.Internal.Utils
Description
- anyP :: (a -> Property) -> [a] -> Property
- liftProperty :: Monad m => Property -> PropertyM m ()
- whenFailM :: Monad m => IO () -> Property -> PropertyM m ()
- alwaysP :: Int -> Property -> Property
- shrinkPropertyHelperC :: Show a => PropertyOf a -> (a -> Bool) -> Property
- shrinkPropertyHelperC' :: Show a => PropertyOf a -> (a -> Property) -> Property
- shrinkPair' :: (a -> [a]) -> (b -> [b]) -> (a, b) -> [(a, b)]
- shrinkPair :: (a -> [a]) -> (a, a) -> [(a, a)]
- nub :: Ord a => [a] -> [a]
- dropLast :: Int -> [a] -> [a]
- toLast :: Int -> [a] -> a
Documentation
liftProperty :: Monad m => Property -> PropertyM m () Source #
Lifts a plain property into a monadic property.
alwaysP :: Int -> Property -> Property Source #
A property that tests prop repeatedly n times, failing as soon as any
of the tests of prop fails.
shrinkPropertyHelperC :: Show a => PropertyOf a -> (a -> Bool) -> Property Source #
Write a metaproperty on the output of QuickChecking a property using a boolean predicate on the output.
shrinkPropertyHelperC' :: Show a => PropertyOf a -> (a -> Property) -> Property Source #
Same as above, but using a property predicate.
shrinkPair' :: (a -> [a]) -> (b -> [b]) -> (a, b) -> [(a, b)] Source #
Given shrinkers for the components of a pair we can shrink the pair.
shrinkPair :: (a -> [a]) -> (a, a) -> [(a, a)] Source #
Same above, but for homogeneous pairs.