HList

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object ListCompat

Convenience aliases for HList :: and List :: allowing them to be used together within match expressions.

def apply[P <: Product, L <: HList](p: P)(implicit gen: Aux[P, L]): L

def apply[T](t: T): ::[T, HNil]

def apply(): HNil.type

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def fill[A](n1: Nat, n2: Nat)(elem: A)(implicit fill: Fill[(N, N), A]): Out

Produces a N1-length HList made of N2-length HLists filled with elem.

def fill[A](n: Nat)(elem: A)(implicit fill: Fill[N, A]): Out

Produces a HList of length N filled with elem.

def fillWith[L <: HList](f: Poly): L

[use case]

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

implicit def hlistOps[L <: HList](l: L): HListOps[L]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

macro def selectDynamic(tpeSelector: String): Any

Allows to specify an HList type with a syntax similar to Record and Union, as follows,

type ISB = HList.`Int, String, Boolean`.T

type ABC = HList.`'a, 'b, 'c`.T
type TwoTrueStr = HList.`2, true, "str"`.T

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

def toString(): String

def unsafeGet(l: HList, i: Int): Any

def unsafePrepend(l: HList, m: HList): HList

def unsafeRemove(l: HList, i: Int): (Any, HList)

def unsafeReverse(l: HList): HList

def unsafeReversePrepend(l: HList, m: HList): HList

def unsafeUpdateAppend(l: HList, i: Int, e: Any): HList

def unsafeUpdateAt(l: HList, i: Int, e: Any): HList

def unsafeUpdateWith(l: HList, i: Int, f: (Any) ⇒ Any): HList

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def unsafeUpdate(l: HList, i: Int, e: Any): HList