Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. forAllValid :: (Show a, GenValid a, Testable prop) => (a -> prop) -> Property

   genvalidity-property	Test.Validity.Property.Utils

   No documentation available.

2. shouldBeInvalid :: (Show a, Validity a) => a -> Expectation

   genvalidity-property	Test.Validity.Property.Utils

   No documentation available.

3. shouldBeValid :: (Show a, Validity a) => a -> Expectation

   genvalidity-property	Test.Validity.Property.Utils

   No documentation available.

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

   genvalidity-property	Test.Validity.Shrinking.Property

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

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

   genvalidity-property	Test.Validity.Shrinking.Property

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

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

   genvalidity-property	Test.Validity.Shrinking.Property

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

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

   genvalidity-property	Test.Validity.Shrinking.Property

   shrinkValidPreservesValid (pure 5 :: Gen Rational)
   

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

   genvalidity-property	Test.Validity.Shrinking.Property

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

9. shrinkingStaysValidWithLimit :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Int -> Property

   genvalidity-property	Test.Validity.Shrinking.Property

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

10. PID :: Option

    hslogger	System.Log.Handler.Syslog

    Automatically log process ID (PID) with each message

Page 790 of many | Previous | Next