To sum up: we are given the types of the possible A values in a Coproduct structure and we want to
define how to traverse this structure to accumulate all the values in a List.
Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
Alphabetic
By inheritance
Inherited
ValuesAux
Serializable
Serializable
AnyRef
Any
Hide All
Show all
Visibility
Public
All
Value Members
final def!=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def##(): Int
Definition Classes
AnyRef → Any
final def==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final defasInstanceOf[T0]: T0
Definition Classes
Any
implicit defccons[A, L <: A, R <: Coproduct](implicit l: Aux[L], r: ValuesAux[A, R]): ValuesAux[A, :+:[L, R]]
Induction case: append a value of type L to the R previous values
Induction case: append a value of type L to the R previous values
To sum up: we are given the types of the possible
A
values in aCoproduct
structure and we want to define how to traverse this structure to accumulate all the values in aList
.