KTypeClass

abstract def _emptyProduct: C[[α]GenericNil[[+X]X]]

abstract def _idCompose: C[[α]α]

abstract def compose[F[_], T <: TCList](FOuter: C[F], FInner: C[compose.T.Composed]): C[[α]F[compose.T.Composed[α]]]

Given a type class instance for F, and a type class instance for a composition, produce a type class instance for the composition wrapped by F.

abstract def product[F[_], T <: TCList](FHead: C[F], FTail: C[product.T.Product]): C[[α]GenericCons[[+X]X, F[α], product.T.Product[α]]]

Given a type class instance for F, and a type class instance for a product, produce a type class instance for the product prepended with F.

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def compose2[F[_], G[_]](implicit F: C[F], G: C[G]): C[[α]F[G[α]]]

The unwrapped composition of two instances.

final def compose3[F[_], G[_], H[_]](implicit F: C[F], G: C[G], H: C[H]): C[[α]F[G[H[α]]]]

The unwrapped composition of three instances.

final def emptyProduct: WrappedProduct[C, TCNil]

The empty product.

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def idCompose: WrappedComposition[C, TCNil]

The empty composition.

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def product1[F[_]](implicit F: C[F]): C[[α]GenericCons[[+X]X, F[α], GenericNil[[+X]X]]]

The unwrapped product containing one element.

final def product2[F[_], G[_]](implicit F: C[F], G: C[G]): C[[α]GenericCons[[+X]X, F[α], GenericCons[[+X]X, G[α], GenericNil[[+X]X]]]]

The unwrapped product containing two elements.

final def product3[F[_], G[_], H[_]](implicit F: C[F], G: C[G], H: C[H]): C[[α]GenericCons[[+X]X, F[α], GenericCons[[+X]X, G[α], GenericCons[[+X]X, H[α], GenericNil[[+X]X]]]]]

The unwrapped product containing three elements.

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit