TypeClass

abstract def emptyProduct: C[HNil]

The empty product.

abstract def product[F, T <: HList](FHead: C[F], FTail: C[T]): C[::[F, T]]

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: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

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[::[F, HNil]]

The product containing one element.

final def product2[F, G](implicit F: C[F], G: C[G]): C[::[F, ::[G, HNil]]]

The product containing two elements.

final def product3[F, G, H](implicit F: C[F], G: C[G], H: C[H]): C[::[F, ::[G, ::[H, HNil]]]]

The 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