Modulegenvalidity-sydtest-1.0.1.0Haskell2010
Test.Syd.Validity.Shrinking
Tests for Shrinking functions
You will need TypeApplications to use these.
Synopsis
- value shrinkValidSpec
- value shrinkValidSpecWithLimit
- value shrinkValidPreservesValidOnGenValid
- value shrinkValidPreservesValidOnGenValidWithLimit
- value shrinkPreservesValidOnGenValid
- value shrinkValidPreservesValid
- value shrinkingStaysValid
- value shrinkingPreserves
- value shrinkValidDoesNotShrinkToItself
- value shrinkValidDoesNotShrinkToItselfWithLimit
- Packagegenvalidity-sydtest-1.0.1.0
- Exports10
- LanguageHaskell2010
- LicenceMIT
- SourceShrinking.hs
shrinkPreservesValidOnGenValid ((:[]) :: Int -> [Int])shrinkValidPreservesValid (pure 5 :: Gen Rational)shrinkingStaysValid (pure 5 :: Gen Double) (\d -> [d - 1, d - 2])shrinkingPreserves (pure 5 :: Gen Int) (:[]) (== 5)