Eq[AndThen]
instance, built by piggybacking on catsLawsEqForFn1.
Create an approximation of Eq[(A, B) => C] by generating random values for A and B and comparing the application of the two functions.
Creates an approximation of Eq[Hash[A]] by generating 100 values for A and comparing the application of the two hash functions.
Create an approximation of Eq[Semigroup[A]] by generating values for A and comparing the application of the two combine functions.
Create an approximation of Eq[Show[A]] by using catsLawsEqForFn1[A, String]
Create an approximate Eq instance for some type A, by comparing
the behavior of f(x, b)
and f(y, b)
across many b
samples.
Create an approximation of Eq[A => B] by generating random values for A and comparing the application of the two functions.
Create an approximation of Eq[A => B] by generating random values for A and comparing the application of the two functions.
(Since version 1.7) This instance is problematic and will most likely be removed in a future version of Cats. Use catsLawsEqForFn1Exhaustive instead. See https://github.com/typelevel/cats/pull/2577 for more information.
(Since version 2.0) These instances are questionable and can lead to false positives. For the sake of compatibility, they haven't been removed, but they should be considered to be deprecated, and we put them in a lower implicit scope priority.