Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. equivalentWhenSucceedOnArbitrary2 :: (Show a, Arbitrary a, Show b, Arbitrary b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> f c) -> Property

   genvalidity-hspec	Test.Validity

   No documentation available.

2. equivalentWhenSucceedOnGen :: (Show a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> f b) -> Gen a -> (a -> [a]) -> Property

   genvalidity-hspec	Test.Validity

   No documentation available.

3. 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.

4. 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
   

5. 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
   

6. 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"
   

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

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

   No documentation available.

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

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

   No documentation available.

9. 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.

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

Page 68 of many | Previous | Next