cats-effect-laws/cats.effect.laws/IsEq

IsEq

object IsEq
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
IsEq.type

Type members

Classlikes

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

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

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

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

Inherited implicits

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