Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.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
Source
any.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Xor.type

Members list

Type members

Classlikes

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

Attributes

Source
any.scala
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

Source
any.scala
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]

Attributes

Source
any.scala
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

Source
any.scala
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

Source
any.scala
Generated with