io.github.iltotore.iron.constraint.any$.Xor$
See theXor companion class Attributes
- Companion:
- class
- Graph
- Supertypes
class Object
trait Matchable
class Any
- Self type
Members list
Concise view
Type members
Attributes
- Graph
- Supertypes
class Object
trait Matchable
class Any
Givens
Xor[C1, C2] <=> Xor[C2, C1].
Xor[C1, C2] <=> Xor[C2, C1].
Attributes
C1 implies Xor[C1, C2] if C1 and C2 are exclusives.
C1 implies Xor[C1, C2] if C1 and C2 are exclusives.
Attributes
C1 implies Xor[C2, C1] if C1 and C2 are exclusives.
C1 implies Xor[C2, C1] if C1 and C2 are exclusives.
Attributes