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

IsEq

object IsEq extends IsEqLowPriorityImplicits
Companion
class
trait Sum
trait Mirror
trait IsEqLowPriorityImplicits
class Object
trait Matchable
class Any

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](isEq: IsEq[A])(implicit evidence$1: Eq[A], pp: A => Pretty): Prop
Inherited from
IsEqLowPriorityImplicits