cats-docs
2.12.0
API
Generated with
cats-docs/cats/cats.laws/cats.laws.discipline/eq

eq

cats.laws.discipline.eq
object eq

Attributes

Source
Eq.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
eq.type

Members list

Implicits

Implicits

implicit def catsLawsEqForAndThen[A, B](implicit eqAB: Eq[A => B]): Eq[AndThen[A, B]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForBand[A](implicit ev: Eq[(A, A) => (A, A)]): Eq[Band[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForBoundedSemilattice[A](implicit eqSA: Eq[Semilattice[A]], eqCA: Eq[CommutativeMonoid[A]], eqA: Eq[A]): Eq[BoundedSemilattice[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForCommutativeGroup[A](implicit eqMA: Eq[CommutativeMonoid[A]], eqGA: Eq[Group[A]], eqA: Eq[A]): Eq[CommutativeGroup[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForCommutativeMonoid[A](implicit eqSA: Eq[CommutativeSemigroup[A]], eqMA: Eq[Monoid[A]], eqA: Eq[A]): Eq[CommutativeMonoid[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForCommutativeSemigroup[A](implicit eqA: Eq[A], ev: Eq[(A, A) => (A, A)]): Eq[CommutativeSemigroup[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForEq[A](implicit ev: Eq[(A, A) => Boolean]): Eq[Eq[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForEquiv[A](implicit ev: Eq[(A, A) => Boolean]): Eq[Equiv[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForFn1Exhaustive[A, B](implicit A: ExhaustiveCheck[A], B: Eq[B]): Eq[A => B]

Attributes

Source
Eq.scala
implicit def catsLawsEqForFn2[A, B, C](implicit ev: Eq[((A, B)) => C]): Eq[(A, B) => C]

Attributes

Source
Eq.scala
implicit def catsLawsEqForGroup[A](implicit ev1: Eq[(A, A) => (A, Boolean)], eqA: Eq[A]): Eq[Group[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForHash[A](implicit ev: Eq[A => Int]): Eq[Hash[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForMonoid[A](implicit eqSA: Eq[Semigroup[A]], eqA: Eq[A]): Eq[Monoid[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForOrder[A](implicit ev: Eq[(A, A) => Int]): Eq[Order[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForOrdering[A](implicit ev: Eq[(A, A) => Int]): Eq[Ordering[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForPartialOrder[A](implicit ev: Eq[(A, A) => Option[Int]]): Eq[PartialOrder[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForPartialOrdering[A](implicit ev: Eq[(A, A) => Option[Int]]): Eq[PartialOrdering[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForRepresentableStore[F[_] : Representable, S, A](implicit evidence$1: Representable[F], eqFA: Eq[F[A]], eqS: Eq[S]): Eq[RepresentableStore[F, S, A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForSemigroup[A](implicit ev: Eq[(A, A) => A]): Eq[Semigroup[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForSemilattice[A](implicit eqBA: Eq[Band[A]], eqCA: Eq[CommutativeSemigroup[A]], eqA: Eq[A]): Eq[Semilattice[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForShow[A](implicit ev: Eq[A => String]): Eq[Show[A]]

Attributes

Source
Eq.scala
implicit def catsLawsEqForStoreT[F[_], S, A](implicit eqF: Eq[F[S => A]], eqS: Eq[S]): Eq[StoreT[F, S, A]]

Attributes

Source
Eq.scala
Generated with