zio.prelude.laws.InverseLaws
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
The inverse law states that for some binary operator *, for all values a, the following must hold:
The inverse law states that for some binary operator *, for all values a, the following must hold:
Attributes
The set of all laws that instances of Inverse must satisfy.
The set of all laws that instances of Inverse must satisfy.
Attributes