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