Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Validity.Shrinking
Description
Tests for Shrinking functions
You will need TypeApplications
to use these.
Documentation
shrinkValidSpecWithLimit :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Int -> Spec Source #
shrinkValidPreservesValidOnGenValid :: forall a. (Show a, GenValid a) => Property Source #
shrinkValidPreservesValidOnGenValidWithLimit :: forall a. (Show a, GenValid a) => Int -> Property Source #
shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => (a -> [a]) -> Property #
shrinkValidPreservesValid :: (Show a, GenValid a) => Gen a -> Property #
shrinkingStaysValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property #
shrinkingPreserves :: Show a => Gen a -> (a -> [a]) -> (a -> Bool) -> Property #
shrinkValidDoesNotShrinkToItself :: forall a. (Show a, Eq a, GenValid a) => Property Source #