Hoogle Search

Within LTS Haskell 24.7 (ghc-9.10.2)

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

Exact lookup

1. arbitrarySpec :: (Typeable a, Show a, Validity a, Arbitrary a) => Spec

   genvalidity-sydtest	Test.Syd.Validity

   A Spec that specifies that arbitrary only generates data that satisfy isValid Example usage:

   arbitrarySpec @Int
   

2. arbitraryGeneratesOnlyValid :: (Show a, Validity a, Arbitrary a) => Property

   genvalidity-sydtest	Test.Syd.Validity.Arbitrary

   arbitrary only generates valid data

   arbitraryGeneratesOnlyValid @Int
   

3. arbitrarySpec :: (Typeable a, Show a, Validity a, Arbitrary a) => Spec

   genvalidity-sydtest	Test.Syd.Validity.Arbitrary

   A Spec that specifies that arbitrary only generates data that satisfy isValid Example usage:

   arbitrarySpec @Int
   

4. arbitrary' :: Arbitrary a => MakeResult a

   ChasingBottoms	Test.ChasingBottoms.ContinuousFunctions

   Lifting of arbitrary.

5. arbitrarySatisfying :: Arbitrary a => (a -> Bool) -> Gen a

   checkers	Test.QuickCheck.Checkers

   No documentation available.

6. arbitraryIx1 :: Gen Int

   massiv-test	Test.Massiv.Core.Index

   Generators are quadratic in QuickCheck. Unlike built-in Arbitrary instance for Int, this one generates smaller integers

7. arbitrary1 :: (Arbitrary1 f, Arbitrary a) => Gen (f a)

   massiv-test	Test.Massiv.Utils

   No documentation available.

8. arbitrary2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => Gen (f a b)

   massiv-test	Test.Massiv.Utils

   No documentation available.

9. arbitraryASCIIChar :: Gen Char

   massiv-test	Test.Massiv.Utils

   Generates a random ASCII character (0-127).

10. arbitraryBoundedEnum :: (Bounded a, Enum a) => Gen a

    massiv-test	Test.Massiv.Utils

    Generates an element of a bounded enumeration.

Page 11 of many | Previous | Next