zio.prelude.laws.CommutativeLaws
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
The commutative law states that for some binary operator *, for all values a1 and a2, the following must hold:
The commutative law states that for some binary operator *, for all values a1 and a2, the following must hold:
Attributes
The set of all laws that instances of Commutative must satisfy.
The set of all laws that instances of Commutative must satisfy.
Attributes