genvalidity-hspec-1.0.0.3: Standard spec's for GenValidity instances
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Validity.Shrinking

Description

Tests for Shrinking functions

You will need TypeApplications to use these.

Documentation

shrinkValidSpec :: forall a. (Show a, Eq a, Typeable a, GenValid a) => Spec Source #

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 #

shrinkValidDoesNotShrinkToItselfWithLimit :: forall a. (Show a, Eq a, GenValid a) => Int -> Property Source #