Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

Exact lookup

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

   genvalidity-hspec	Test.Validity

   No documentation available.

2. eqSpec :: (Show a, Eq a, Typeable a, GenValid a) => Spec

   genvalidity-hspec	Test.Validity.Eq

   Standard test spec for properties of Eq instances for valid values Example usage:

   eqSpec @Int
   

3. eqSpecOnArbitrary :: (Show a, Eq a, Typeable a, Arbitrary a) => Spec

   genvalidity-hspec	Test.Validity.Eq

   Standard test spec for properties of Eq instances for arbitrary values Example usage:

   eqSpecOnArbitrary @Int
   

4. eqSpecOnGen :: (Show a, Eq a, Typeable a) => Gen a -> String -> (a -> [a]) -> Spec

   genvalidity-hspec	Test.Validity.Eq

   Standard test spec for properties of Eq instances for values generated by a given generator (and name for that generator). Example usage:

   eqSpecOnGen ((* 2) <$> genValid @Int) "even"
   

5. eqMaybe :: EqMaybe a b => a -> b -> Bool

   haskell-gi-base	Data.GI.Base.Attributes

   No documentation available.

6. eqMaybe :: EqMaybe a b => a -> b -> Bool

   haskell-gi-base	Data.GI.Base.ShortPrelude

   No documentation available.

7. eqLaws :: (Eq a, Arbitrary a, Show a) => Proxy a -> Laws

   quickcheck-classes	Test.QuickCheck.Classes

   Tests the following properties:

   • Transitive a == b ∧ b == c ⇒ a == c
   • Symmetric a == b ⇒ b == a
   • Reflexive a == a
   • Negation x /= y == not (x == y)
   Some of these properties involve implication. In the case that the left hand side of the implication arrow does not hold, we do not retry. Consequently, these properties only end up being useful when the data type has a small number of inhabitants.

8. eqNub :: Eq a => Fold a [a]

   foldl	Control.Foldl

   O(n^2). Fold values into a list with duplicates removed, while preserving their first occurrences

9. eqSlice :: Equivalence -> Slice -> Slice -> Bool

   inspection-testing	Test.Inspection.Core

   This is a heuristic, which only works if both slices have auxiliary variables in the right order. (This is mostly to work-around the buggy CSE in GHC-8.0) It also breaks if there is shadowing.

10. eqSlice' :: Equivalence -> Slice -> Slice -> Either SDoc ()

    inspection-testing	Test.Inspection.Core

    Like eqSlice but also returns an explanation of inequality.

Page 68 of many | Previous | Next