IdempotentLaws

zio.prelude.laws.IdempotentLaws

Attributes

Graph
Supertypes: trait ZLawful[EqualIdempotent, Any]

class Object

trait Matchable

class Any
Self type: IdempotentLaws.type

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

a * a === a

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

In this article

Generated with