Test.StateMachine.Internal.Utils

Documentation

anyP :: (a -> Property) -> [a] -> Property

Lifts any to properties.

liftProperty :: Monad m => Property -> PropertyM m ()

Lifts a plain property into a monadic property.

whenFailM :: Monad m => IO () -> Property -> PropertyM m ()

Lifts whenFail to PropertyM.

alwaysP :: Int -> Property -> Property

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

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

Same as above, but using a property predicate.

shrinkPair' :: (a -> [a]) -> (b -> [b]) -> (a, b) -> [(a, b)]

Given shrinkers for the components of a pair we can shrink the pair.

shrinkPair :: (a -> [a]) -> (a, a) -> [(a, a)]

Same above, but for homogeneous pairs.

nub :: Ord a => [a] -> [a]

Remove duplicate elements from a list.

dropLast :: Int -> [a] -> [a]

Drop last n elements of a list.

toLast :: Int -> [a] -> a

Indexing starting from the back of a list.