zio.prelude.experimental.laws.ExcludedMiddleLaws
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
The excluded middle law states that for the join operator vvv, the top element 1, complement operator ! and for any value a, the following must hold:
The excluded middle law states that for the join operator vvv, the top element 1, complement operator ! and for any value a, the following must hold:
Attributes
The set of all laws that instances of ExcludedMiddle must satisfy.
The set of all laws that instances of ExcludedMiddle must satisfy.
Attributes