Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. antireflexivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

   genvalidity-property	Test.Validity.Relations.Antireflexivity

   antireflexivityOnArbitrary ((<) :: Int -> Int -> Bool)
   

   antireflexivityOnArbitrary ((/=) :: Int -> Int -> Bool)
   

   antireflexivityOnArbitrary ((>) :: Int -> Int -> Bool)
   

2. antisymmetryOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> Bool) -> Property

   genvalidity-property	Test.Validity.Relations.Antisymmetry

   antisymmetryOnArbitrary ((>) :: Int -> Int -> Bool)
   

   antisymmetryOnArbitrary ((>=) :: Int -> Int -> Bool)
   

   antisymmetryOnArbitrary ((<=) :: Int -> Int -> Bool)
   

   antisymmetryOnArbitrary ((<) :: Int -> Int -> Bool)
   

   antisymmetryOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
   

   antisymmetryOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
   

   antisymmetryOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
   

   antisymmetryOnArbitrary ((\x y -> even x && odd y) :: Int -> Int -> Bool)
   

3. reflexivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

   genvalidity-property	Test.Validity.Relations.Reflexivity

   reflexivityOnArbitrary ((<=) :: Int -> Int -> Bool)
   

   reflexivityOnArbitrary ((==) :: Int -> Int -> Bool)
   

   reflexivityOnArbitrary ((>=) :: Int -> Int -> Bool)
   

   reflexivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
   

   reflexivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
   

   reflexivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
   

4. symmetryOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

   genvalidity-property	Test.Validity.Relations.Symmetry

   symmetryOnArbitrary ((==) :: Int -> Int -> Bool)
   

   symmetryOnArbitrary ((/=) :: Int -> Int -> Bool)
   

5. transitivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

   genvalidity-property	Test.Validity.Relations.Transitivity

   transitivityOnArbitrary ((>) :: Int -> Int -> Bool)
   

   transitivityOnArbitrary ((>=) :: Int -> Int -> Bool)
   

   transitivityOnArbitrary ((==) :: Int -> Int -> Bool)
   

   transitivityOnArbitrary ((<=) :: Int -> Int -> Bool)
   

   transitivityOnArbitrary ((<) :: Int -> Int -> Bool)
   

   transitivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
   

   transitivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
   

   transitivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
   

6. class (Generic a, GA opts Rep a) => GArbitrary opts a

   generic-random	Generic.Random

   Generic Arbitrary

7. newtype GenericArbitrary (weights :: k) a

   generic-random	Generic.Random

   Pick a constructor with a given distribution, and fill its fields with recursive calls to arbitrary.

   Example

   data X = ...
   deriving Arbitrary via (GenericArbitrary '[2, 3, 5] X)
   

   Picks the first constructor with probability 2/10, the second with probability 3/10, the third with probability 5/10. This newtype does no shrinking. To add generic shrinking, use AndShrinking. Uses genericArbitrary.

8. GenericArbitrary :: a -> GenericArbitrary (weights :: k) a

   generic-random	Generic.Random

   No documentation available.

9. newtype GenericArbitraryG (genList :: k) (weights :: k1) a

   generic-random	Generic.Random

   GenericArbitrary with explicit generators.

   Example

   data X = ...
   deriving Arbitrary via (GenericArbitraryG CustomGens '[2, 3, 5] X)
   

   where, for example, custom generators to override String and Int fields might look as follows:

   type CustomGens = CustomString :+ CustomInt
   

   Note on multiple matches

   Multiple generators may match a given field: the first will be chosen. This newtype does no shrinking. To add generic shrinking, use AndShrinking. Uses genericArbitraryG.

10. GenericArbitraryG :: a -> GenericArbitraryG (genList :: k) (weights :: k1) a

    generic-random	Generic.Random

    No documentation available.

Page 51 of many | Previous | Next