Discriminated

Wrapper class that indicates subtypes of X are discriminated by type D using the supplied Codec[D].

For example, an implicit Discriminated value can be defined in the companion of a sealed trait, along with implicit Discriminator values in each subtype companion. Given such implicits, a codec for the trait can be automatically derived using Codec[X].

X: type that can be discriminated by discriminator values of type D
D: value type that discriminates Y in context of X from other types using discriminators of D for some type Y

Source: Discriminator.scala

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Instance Constructors

new Discriminated(codec: Codec[D])

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to any2stringadd[Discriminated[X, D]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Discriminated[X, D], B)

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to ArrowAssoc[Discriminated[X, D]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
val a: Discriminated[X, D]

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to ValueEnrichedWithTuplingSupport[Discriminated[X, D]] performed by method ValueEnrichedWithTuplingSupport in scodec.codecs.
Definition Classes
ValueEnrichedWithTuplingSupport
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val codec: Codec[D]
def ensuring(cond: (Discriminated[X, D]) ⇒ Boolean, msg: ⇒ Any): Discriminated[X, D]

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to Ensuring[Discriminated[X, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Discriminated[X, D]) ⇒ Boolean): Discriminated[X, D]

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to Ensuring[Discriminated[X, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Discriminated[X, D]

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to Ensuring[Discriminated[X, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Discriminated[X, D]

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to Ensuring[Discriminated[X, D]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to StringFormat[Discriminated[X, D]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def ~[B](b: B): (Discriminated[X, D], B)

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to ValueEnrichedWithTuplingSupport[Discriminated[X, D]] performed by method ValueEnrichedWithTuplingSupport in scodec.codecs.
Definition Classes
ValueEnrichedWithTuplingSupport
def →[B](y: B): (Discriminated[X, D], B)

Implicit information
This member is added by an implicit conversion from Discriminated[X, D] to ArrowAssoc[Discriminated[X, D]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

final case class Discriminated[X, D](codec: Codec[D]) extends Product with Serializable

Instance Constructors

new Discriminated(codec: Codec[D])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Discriminated[X, D], B)

final def ==(arg0: Any): Boolean

val a: Discriminated[X, D]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val codec: Codec[D]

def ensuring(cond: (Discriminated[X, D]) ⇒ Boolean, msg: ⇒ Any): Discriminated[X, D]

def ensuring(cond: (Discriminated[X, D]) ⇒ Boolean): Discriminated[X, D]

def ensuring(cond: Boolean, msg: ⇒ Any): Discriminated[X, D]

def ensuring(cond: Boolean): Discriminated[X, D]

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def ~[B](b: B): (Discriminated[X, D], B)

def →[B](y: B): (Discriminated[X, D], B)

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion ValueEnrichedWithTuplingSupport from Discriminated[X, D] to ValueEnrichedWithTuplingSupport[Discriminated[X, D]]

Inherited by implicit conversion any2stringadd from Discriminated[X, D] to any2stringadd[Discriminated[X, D]]

Inherited by implicit conversion StringFormat from Discriminated[X, D] to StringFormat[Discriminated[X, D]]

Inherited by implicit conversion Ensuring from Discriminated[X, D] to Ensuring[Discriminated[X, D]]

Inherited by implicit conversion ArrowAssoc from Discriminated[X, D] to ArrowAssoc[Discriminated[X, D]]

Ungrouped