Values

object Values

The companion object contains the machinery to automatically derive the values of a sealed trait extended by case objects only.

Basically, the derivation process is the following:

we are given a sort of list containing the types of the case objects that extend a sealed trait A ;
we inductively traverse this structure using two implicit definitions: one for the empty list case and one for the “cons” case ;
we accumulate the traversed case objects in a List ;
that’s it: the resulting List contains all the possible values of type A.

The first step is the hard part of this process and is actually achieved by shapeless (using macros).

Linear Supertypes

AnyRef, Any

Ordering

Alphabetic
By inheritance

Inherited

Values
AnyRef
Any

Hide All
Show all

Learn more about member selection

Visibility

Public
All

Type Members

trait Derived[A] extends Values[A]

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
object Derived

def apply[A](implicit derived: Derived[A]): Values[A]

sealed trait Foo
object Foo {
  case object Bar extends Foo
  case object Baz extends Foo
  val values = Values[Foo]
}

returns: All the possible values of A

Annotations: @inline()

final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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
def toString(): String

Definition Classes
AnyRef → Any
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( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped