EqualLaws

zio.prelude.laws.EqualLaws

object EqualLaws extends Lawful[Equal]

Attributes

Graph
Supertypes: trait ZLawful[Equal, Any]

class Object

trait Matchable

class Any
Self type: EqualLaws.type

The set of all laws that instances of Equal must satisfy.

For all values a1, a1 is equal to a1.

For all values a1 and a2, if a1 is equal to a2 then a2 is equal to a1.

For all values a1, a2, and a3, if a1 is equal to a2 and a2 is equal a3, then a1 is equal to a3.

In this article

Generated with