Type Members

1.  final class Cop [L <: TList] extends AnyRef

   A coproduct of types captured by type list L

2.  final class CopK [L <: KList, A] extends AnyRef

   A coproduct of type constructors captured by type constructor list L

3.  abstract class CopKFunctionK [F[_], G[_]] extends ~>[F, G]
4.  abstract type KCons[H[_], T <: KList] <: KList

   A type constructor list characterized by a head type constructor and a list of tail type constructors

5.  trait KList extends AnyRef

   A heterogenous list of type constructors

6.  abstract type KNil <: KList

   The terminal element of a type constructor list

7.  abstract type TCons[H, T <: TList] <: TList

   A type list characterized by a head type and a list of tail types

8.  trait TList extends AnyRef

   A heterogenous list of types

9.  abstract type TNil <: TList

   The terminal element of a type list