zio.prelude.experimental.laws.DistributiveProdLaws
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
The set of all laws that instances of DistributiveProd must satisfy.
The set of all laws that instances of DistributiveProd must satisfy.
Attributes
The left distributivity law states that for operators + and *, for all values a1, a2, and a3, the following must hold:
The left distributivity law states that for operators + and *, for all values a1, a2, and a3, the following must hold:
a1 * (a2 + a3) === (a1 * a2) + (a1 * a3)
Attributes
The right distributivity law states that for operators + and *, for all values a1, a2, and a3, the following must hold:
The right distributivity law states that for operators + and *, for all values a1, a2, and a3, the following must hold:
(a1 + a2) * a3 === (a1 * a3) + (a2 * a3)
Attributes