final case classDiscriminator[X, Y, D](value: D) extends Product with Serializable
Wrapper class that discriminates type Y in context of type X with a
value of type D.
For example, consider a sealed trait and its subclasses. Each subclass
could be assigned an integer by defining a Discriminator[Parent, Subclass, Int]
for each.
X
context in which type Y is discriminated from other types
Y
type that is differentiated from other types by values of D
D
value type that discriminates values of Y from other types in context of X
This member is added by an implicit conversion from Discriminator[X, Y, D] to
any2stringadd[Discriminator[X, Y, D]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from Discriminator[X, Y, D] to
ArrowAssoc[Discriminator[X, Y, D]] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from Discriminator[X, Y, D] to
Ensuring[Discriminator[X, Y, D]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Discriminator[X, Y, D] to
Ensuring[Discriminator[X, Y, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
defensuring(cond: Boolean, msg: ⇒ Any): Discriminator[X, Y, D]
Implicit information
This member is added by an implicit conversion from Discriminator[X, Y, D] to
Ensuring[Discriminator[X, Y, D]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Discriminator[X, Y, D] to
Ensuring[Discriminator[X, Y, D]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from Discriminator[X, Y, D] to
StringFormat[Discriminator[X, Y, D]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from Discriminator[X, Y, D] to
ArrowAssoc[Discriminator[X, Y, D]] performed by method ArrowAssoc in scala.Predef.
Wrapper class that discriminates type
Y
in context of typeX
with a value of typeD
.For example, consider a sealed trait and its subclasses. Each subclass could be assigned an integer by defining a
Discriminator[Parent, Subclass, Int]
for each.context in which type
Y
is discriminated from other typestype that is differentiated from other types by values of
D
value type that discriminates values of
Y
from other types in context ofX