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