Object

cats.laws.discipline

DeprecatedEqInstances

Related Doc: package discipline

Permalink

object DeprecatedEqInstances

Annotations
@deprecated
Deprecated

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

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DeprecatedEqInstances
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. implicit def catsLawsEqForAndThen[A, B](implicit A: Arbitrary[A], B: Eq[B]): Eq[AndThen[A, B]]

    Permalink

    Eq[AndThen] instance, built by piggybacking on catsLawsEqForFn1.

  6. implicit def catsLawsEqForBand[A](implicit arbAA: Arbitrary[(A, A)], eqSA: Eq[kernel.Semigroup[A]], eqA: Eq[A]): Eq[Band[A]]

    Permalink
  7. implicit def catsLawsEqForCommutativeSemigroup[A](implicit arbAA: Arbitrary[(A, A)], eqA: Eq[A]): Eq[CommutativeSemigroup[A]]

    Permalink
  8. implicit def catsLawsEqForEq[A](implicit arbA: Arbitrary[(A, A)]): Eq[Eq[A]]

    Permalink
  9. implicit def catsLawsEqForEquiv[A](implicit arbA: Arbitrary[(A, A)]): Eq[Equiv[A]]

    Permalink
  10. implicit def catsLawsEqForFn2[A, B, C](implicit A: Arbitrary[A], B: Arbitrary[B], C: Eq[C]): Eq[(A, B) ⇒ C]

    Permalink

    Create an approximation of Eq[(A, B) => C] by generating random values for A and B and comparing the application of the two functions.

  11. implicit def catsLawsEqForGroup[A](implicit arbAA: Arbitrary[(A, A)], eqMA: Eq[kernel.Monoid[A]], eqA: Eq[A]): Eq[kernel.Group[A]]

    Permalink
  12. implicit def catsLawsEqForHash[A](implicit arbA: Arbitrary[A]): Eq[kernel.Hash[A]]

    Permalink

    Creates an approximation of Eq[Hash[A]] by generating 100 values for A and comparing the application of the two hash functions.

  13. implicit def catsLawsEqForOrder[A](implicit arbA: Arbitrary[(A, A)]): Eq[kernel.Order[A]]

    Permalink
  14. implicit def catsLawsEqForOrdering[A](implicit arbA: Arbitrary[(A, A)]): Eq[Ordering[A]]

    Permalink
  15. implicit def catsLawsEqForPartialOrder[A](implicit arbA: Arbitrary[(A, A)], optIntEq: Eq[Option[Int]]): Eq[kernel.PartialOrder[A]]

    Permalink
  16. implicit def catsLawsEqForPartialOrdering[A](implicit arbA: Arbitrary[(A, A)], optIntEq: Eq[Option[Int]]): Eq[PartialOrdering[A]]

    Permalink
  17. implicit def catsLawsEqForSemigroup[A](implicit arbAA: Arbitrary[(A, A)], eqA: Eq[A]): Eq[kernel.Semigroup[A]]

    Permalink

    Create an approximation of Eq[Semigroup[A]] by generating values for A and comparing the application of the two combine functions.

  18. implicit def catsLawsEqForShow[A](implicit arg0: Arbitrary[A]): Eq[Show[A]]

    Permalink

    Create an approximation of Eq[Show[A]] by using catsLawsEqForFn1[A, String]

  19. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  22. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  26. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  27. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  29. def sampledEq[A, B, C](samples: Int)(f: (A, B) ⇒ C)(implicit arg0: Arbitrary[B], arg1: Eq[C]): Eq[A]

    Permalink

    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.

  30. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  31. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  32. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. implicit def catsLawsEqForFn1[A, B](implicit A: Arbitrary[A], B: Eq[B]): Eq[(A) ⇒ B]

    Permalink

    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.

    Annotations
    @deprecated
    Deprecated

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

Inherited from AnyRef

Inherited from Any

Ungrouped