PartialInverseLaws

zio.prelude.laws.PartialInverseLaws

Attributes

Graph
Supertypes: trait ZLawful[EqualPartialInverse, Any]

class Object

trait Matchable

class Any
Self type: PartialInverseLaws.type

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

The partial inverse law states that for some binary operator *, for all values a, if the operation is defined, the following must hold:

a * a === identity

In this article

Generated with