HNil

Type Members

type ::[E] = HCons[E, Self]

The type of prepending an element of type E to this HList
The type of prepending an element of type E to this HList

Definition Classes
HList
type :::[L <: HList] = HList.:::.L.Fold[HList, PrependHead, Self]

The type of concatenating another HList with this HList
The type of concatenating another HList with this HList

Definition Classes
HList
type Apply[N <: Nat] = Nat.Fold.Head

Get the type of the Nth element of this HList
Get the type of the Nth element of this HList

Definition Classes
HList
type Drop[N <: Nat] = HList.Drop.N.Fold[HList, TailOf, Self]

Drop the first N elements from this HList and return the resulting type
Drop the first N elements from this HList and return the resulting type

Definition Classes
HList
type Fold[U, F[_ <: HList, _ <: U] <: U, Z <: U] = Z

The type of a Fold operation on this HList
The type of a Fold operation on this HList

Definition Classes
HNil → HList
type Head = Nothing

The type of the first element
The type of the first element

Definition Classes
HNil → HList
type HeadOf[T <: HList] = HList.HeadOf.T.Head

Attributes
protected[this]
Definition Classes
HList
type IncrementForFold[X, Z <: Nat] = Succ[Z]

Ignore X and increment Z by one (for counting with Fold)
Ignore X and increment Z by one (for counting with Fold)

Attributes
protected[this]
Definition Classes
HList
type Length = Fold[Nat, IncrementForFold, _0]

Get the Nat type of the length of this HList
Get the Nat type of the length of this HList

Definition Classes
HList
type PrependHead[X <: HList, Z <: HList] = HCons[HList.PrependHead.X.Head, HList.PrependHead.Z.Self]

Attributes
protected[this]
Definition Classes
HList
type Self = HNil.type

The type of this HList object
The type of this HList object

Definition Classes
HNil → HList
type Tail = Nothing

The type of the tail of this HList
The type of the tail of this HList

Definition Classes
HNil → HList
type TailOf[T <: HList] = HList.TailOf.T.Tail

Attributes
protected[this]
Definition Classes
HList

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ::[E](elem: E): ::[E]

Prepend an element to this HList, returning a new HList.
Prepend an element to this HList, returning a new HList.

Definition Classes
HList
Annotations
@inline()
final def :::[L <: HList](l: L): :::[L]

Concatenate another HList to this HList, returning a new HList.
Concatenate another HList to this HList, returning a new HList.

Definition Classes
HList
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def _unsafeApply[N <: Nat](i: Int): Apply[N]

Definition Classes
HList
Annotations
@inline()
final macro def apply(n: Int): Any

Return the nth element from this HList, using the correct return type if n is a literal, otherwise Any.
Return the nth element from this HList, using the correct return type if n is a literal, otherwise Any.

Definition Classes
HList
final def apply[N <: Nat](n: N): Apply[N]

Return the nth element from this HList, using the correct return type.
Return the nth element from this HList, using the correct return type.

Definition Classes
HList
Annotations
@inline()
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def canEqual(that: Any): Boolean

Definition Classes
HList → Equals
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def drop(i: Int): HList

Drop the first n elements from this HList.
Drop the first n elements from this HList.

Definition Classes
HList
final def drop[N <: Nat](n: N): Drop[N]

Drop the first n elements from this HList.
Drop the first n elements from this HList.

Definition Classes
HList
Annotations
@inline()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def equals(that: Any): Boolean

Definition Classes
HList → Equals → AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def fold[U, F[_ <: HList, _ <: U] <: U, Z <: U](f: TypedFunction2[HList, U, U, F], z: Z): Z

Fold the elements of this HList.
Fold the elements of this HList.

Definition Classes
HNil → HList
final def foreach(f: (Any) ⇒ Unit): Unit

Evaluate a function for each element of this HList.
Evaluate a function for each element of this HList.

Definition Classes
HList
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final lazy val hashCode: Int

Definition Classes
HList → AnyRef → Any
def head: Nothing

Get the first element, or throw a NoSuchElementException if this HList is empty.
Get the first element, or throw a NoSuchElementException if this HList is empty.

Definition Classes
HNil → HList
final def isEmpty: Boolean

Check if this list is empty.
Check if this list is empty.

Definition Classes
HList
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def length: Length

Get the length of this list as a Nat.
Get the length of this list as a Nat.

Definition Classes
HList
Annotations
@inline()
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def nonEmpty: Boolean

Check if this HList is non-empty.
Check if this HList is non-empty.

Definition Classes
HNil → HList
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def productArity: Int

Get the length of this list as an Int.
Get the length of this list as an Int.

Definition Classes
HList → Product
final def productElement(i: Int): Any

Definition Classes
HList → Product
def productIterator: Iterator[Any]

Definition Classes
Product
def productPrefix: String

Definition Classes
Product
def self: HNil.type

Return this HList typed as Self/
Return this HList typed as Self/

Definition Classes
HNil → HList
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def tail: Nothing

Get the tail of the list, or throw a NoSuchElementException if this HList is empty.
Get the tail of the list, or throw a NoSuchElementException if this HList is empty.

Definition Classes
HNil → HList
def toList: Nil.type

Convert this HList to a List[Any].
Convert this HList to a List[Any].

Definition Classes
HNil → HList
final def toString(): String

Definition Classes
HList → AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package heterogeneous

object HNil extends HList

Type Members

type ::[E] = HCons[E, Self]

type :::[L <: HList] = HList.:::.L.Fold[HList, PrependHead, Self]

type Apply[N <: Nat] = Nat.Fold.Head

type Drop[N <: Nat] = HList.Drop.N.Fold[HList, TailOf, Self]

type Fold[U, F[_ <: HList, _ <: U] <: U, Z <: U] = Z

type Head = Nothing

type HeadOf[T <: HList] = HList.HeadOf.T.Head

type IncrementForFold[X, Z <: Nat] = Succ[Z]

type Length = Fold[Nat, IncrementForFold, _0]

type PrependHead[X <: HList, Z <: HList] = HCons[HList.PrependHead.X.Head, HList.PrependHead.Z.Self]

type Self = HNil.type

type Tail = Nothing

type TailOf[T <: HList] = HList.TailOf.T.Tail

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ::[E](elem: E): ::[E]

final def :::[L <: HList](l: L): :::[L]

final def ==(arg0: Any): Boolean

final def _unsafeApply[N <: Nat](i: Int): Apply[N]

final macro def apply(n: Int): Any

final def apply[N <: Nat](n: N): Apply[N]

final def asInstanceOf[T0]: T0

final def canEqual(that: Any): Boolean

def clone(): AnyRef

final def drop(i: Int): HList

final def drop[N <: Nat](n: N): Drop[N]

final def eq(arg0: AnyRef): Boolean

final def equals(that: Any): Boolean

def finalize(): Unit

def fold[U, F[_ <: HList, _ <: U] <: U, Z <: U](f: TypedFunction2[HList, U, U, F], z: Z): Z

final def foreach(f: (Any) ⇒ Unit): Unit

final def getClass(): Class[_]

final lazy val hashCode: Int

def head: Nothing

final def isEmpty: Boolean

final def isInstanceOf[T0]: Boolean

final def length: Length

final def ne(arg0: AnyRef): Boolean

def nonEmpty: Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def productArity: Int

final def productElement(i: Int): Any

def productIterator: Iterator[Any]

def productPrefix: String

def self: HNil.type

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

def tail: Nothing

def toList: Nil.type

final def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from HList

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped