zio.prelude.experimental.laws.DistributiveAbsorptionLaws
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
The join distributiveAbsorption law states that for the join operator vvv, the meet operator ^^^, and for any value a, the following must hold:
The join distributiveAbsorption law states that for the join operator vvv, the meet operator ^^^, and for any value a, the following must hold:
a1 vvv (a2 ^^^ a3) === (a1 vvv a2) ^^^ (a1 vvv a3)
Attributes
The set of all laws that instances of DistributiveAbsorption must satisfy.
The set of all laws that instances of DistributiveAbsorption must satisfy.
Attributes
The meet distributiveAbsorption law states that for the join operator vvv, the meet operator ^^^, and for any value a, the following must hold:
The meet distributiveAbsorption law states that for the join operator vvv, the meet operator ^^^, and for any value a, the following must hold:
a1 ^^^ (a2 vvv a3) === (a1 ^^^ a2) vvv (a1 ^^^ a3)
Attributes