cats-effect-laws
3.6-623178c
API
Generated with
cats-effect-laws/cats.effect.laws/IsEq

IsEq

cats.effect.laws.IsEq
See theIsEq companion trait
object IsEq

Attributes

Companion
trait
Source
IsEq.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
IsEq.type

Members list

Type members

Classlikes

final case class Assert[A](lhs: A, rhs: A) extends IsEq[A]

Attributes

Source
IsEq.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait IsEq[A]
class Object
trait Matchable
class Any
Show all

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def apply[A](lhs: A, rhs: A): IsEq[A]

Attributes

Source
IsEq.scala

Implicits

Implicits

implicit def toPropTolerant[F[_], A](isEq: IsEq[F[A]])(implicit F: Applicative[F], ord: Order[F[A]], g: Group[A], tolerance: Tolerance[A], pp: F[A] => Pretty): Prop

Attributes

Source
IsEq.scala

Inherited implicits

implicit def toProp[A : Eq](isEq: IsEq[A])(implicit evidence$1: Eq[A], pp: A => Pretty): Prop

Attributes

Inherited from:
IsEqLowPriorityImplicits (hidden)
Source
IsEq.scala
Generated with