iron
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
iron/io.github.iltotore.iron.constraint/any/Xor

Xor

io.github.iltotore.iron.constraint.any$.Xor$
See theXor companion class
object Xor

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Xor.type

Members list

Concise view

Type members

Classlikes

class XorConstraint[A, C1, C2, Impl1 <: Constraint[A, C1], Impl2 <: Constraint[A, C2]] extends Constraint[A, Xor[C1, C2]]

Attributes

Graph
Supertypes
trait Constraint[A, Xor[C1, C2]]
class Object
trait Matchable
class Any

Givens

Givens

given `given_==>_Xor_Xor`[C1, C2]: Implication[Xor[C1, C2], Xor[C2, C1]]

Xor[C1, C2] <=> Xor[C2, C1].

Xor[C1, C2] <=> Xor[C2, C1].

Attributes

inline given given_XorConstraint_A_C1_C2_Impl1_Impl2[A, C1, C2, Impl1 <: Constraint[A, C1], Impl2 <: Constraint[A, C2]](using inline impl1: Impl1, impl2: Impl2): XorConstraint[A, C1, C2, Impl1, Impl2]
given left[C1, C2, C3](using Implication[C1, Not[C2]], Implication[C1, C3]): Implication[C1, Xor[C3, C2]]

C1 implies Xor[C1, C2] if C1 and C2 are exclusives.

C1 implies Xor[C1, C2] if C1 and C2 are exclusives.

Attributes

given right[C1, C2, C3](using Implication[C1, Not[C2]], Implication[C1, C3]): Implication[C1, Xor[C2, C3]]

C1 implies Xor[C2, C1] if C1 and C2 are exclusives.

C1 implies Xor[C2, C1] if C1 and C2 are exclusives.

Attributes

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL