Modulegenvalidity-sydtest-1.0.1.0Haskell2010
Test.Syd.Validity.Shrinking
Tests for Shrinking functions
You will need TypeApplications to use these.
- 10 values
- 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)