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.

  1. validIfSucceedsOnGens2 :: (Show a, Show b, Show c, Validity c, CanFail f) => (a -> b -> f c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

    genvalidity-property Test.Validity.Property

    No documentation available.

  2. validIfSucceedsOnGens3 :: (Show a, Show b, Show c, Show d, Validity d, CanFail f) => (a -> b -> c -> f d) -> Gen (a, b, c) -> ((a, b, c) -> [(a, b, c)]) -> Property

    genvalidity-property Test.Validity.Property

    No documentation available.

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

    genvalidity-property Test.Validity.Property.Utils

    No documentation available.

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

    genvalidity-property Test.Validity.Property.Utils

    No documentation available.

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

    genvalidity-property Test.Validity.Property.Utils

    No documentation available.

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

    genvalidity-property Test.Validity.Shrinking.Property 

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

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

    genvalidity-property Test.Validity.Shrinking.Property 

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

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

    genvalidity-property Test.Validity.Shrinking.Property 

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

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

    genvalidity-property Test.Validity.Shrinking.Property 

    shrinkValidPreservesValid (pure 5 :: Gen Rational)

  10. 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])

Page 553 of many | Previous | Next