Test.Syd.Validity.Shrinking.Property

prop> shrinkPreservesValidOnGenValid ((:[]) :: Int -> [Int])

prop> shrinkValidPreservesValid (pure 5 :: Gen Rational)

prop> shrinkingStaysValid (pure 5 :: Gen Double) (\d -> [d - 1, d - 2])

prop> shrinkingStaysValidWithLimit (pure 5 :: Gen Double) (\d -> [d - 1, read "NaN"]) 1

prop> shrinkingPreserves (pure 5 :: Gen Int) (:[]) (== 5)

prop> shrinkingPreservesWithLimit (pure 4) (:[]) 100 (== 4)

prop> shrinkDoesNotShrinkToItself (shrinkValid :: Double -> [Double])

prop> shrinkDoesNotShrinkToItselfWithLimit (shrinkValid :: Double -> [Double]) 100

prop> shrinkDoesNotShrinkToItselfOnValid (shrinkValid ::  Rational -> [Rational])

prop> shrinkDoesNotShrinkToItselfOnValidWithLimit (shrinkValid :: Rational -> [Rational]) 100

prop> doesNotShrinkToItself (pure 5 :: Gen Double) shrinkValid

prop> doesNotShrinkToItselfWithLimit (pure 5 :: Gen Double) shrinkValid 100