IdentityLaws

zio.prelude.laws.IdentityLaws

Attributes

Graph
Supertypes: trait ZLawful[EqualIdentity, Any]

class Object

trait Matchable

class Any
Self type: IdentityLaws.type

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

The left identity law states that for some binary operator *, for all values a, the following must hold:

identity * a === a

The left identity law states that for some binary operator *, for all values a, the following must hold:

a * identity === a

In this article

Generated with