Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. shrinkValidDoesNotShrinkToItselfWithLimit :: (Show a, Eq a, GenValid a) => Int -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

   No documentation available.

2. shrinkValidPreservesValid :: (Show a, GenValid a) => Gen a -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

   shrinkValidPreservesValid (pure 5 :: Gen Rational)
   

3. shrinkValidPreservesValidOnGenValid :: (Show a, GenValid a) => Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

   No documentation available.

4. shrinkValidPreservesValidOnGenValidWithLimit :: (Show a, GenValid a) => Int -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

   No documentation available.

5. shrinkValidSpec :: forall a (outers :: [Type]) . (Show a, Eq a, Typeable a, GenValid a) => TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

   No documentation available.

6. shrinkValidSpecWithLimit :: forall a (outers :: [Type]) . (Show a, Eq a, Typeable a, GenValid a) => Int -> TestDef outers ()

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

   No documentation available.

7. shrinkingStaysValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking

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

8. shrinkDoesNotShrinkToItselfOnValid :: (Show a, Eq a, GenValid a) => (a -> [a]) -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking.Property

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

9. shrinkDoesNotShrinkToItselfOnValidWithLimit :: (Show a, Eq a, GenValid a) => (a -> [a]) -> Int -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking.Property

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

10. shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => (a -> [a]) -> Property

    genvalidity-sydtest	Test.Syd.Validity.Shrinking.Property

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

Page 488 of many | Previous | Next