HCons

Instance Constructors

new HCons(head: H, tail: T)

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] = F[Self, T.Fold[U, F, Z]]

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

Definition Classes
HCons → HList
type Head = H

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

Definition Classes
HCons → 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 = HCons[H, T]

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

Definition Classes
HCons → HList
type Tail = T

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

Definition Classes
HCons → 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
def +(other: String): String

Implicit information
This member is added by an implicit conversion from HCons[H, T] to any2stringadd[HCons[H, T]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (HCons[H, T], B)

Implicit information
This member is added by an implicit conversion from HCons[H, T] to ArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
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()
def ensuring(cond: (HCons[H, T]) ⇒ Boolean, msg: ⇒ Any): HCons[H, T]

Implicit information
This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (HCons[H, T]) ⇒ Boolean): HCons[H, T]

Implicit information
This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): HCons[H, T]

Implicit information
This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): HCons[H, T]

Implicit information
This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
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): Fold[U, F, Z]

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

Definition Classes
HCons → 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
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from HCons[H, T] to StringFormat[HCons[H, T]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final lazy val hashCode: Int

Definition Classes
HList → AnyRef → Any
val head: H

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
HCons → 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
HCons → 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: HCons[H, T]

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

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

Definition Classes
AnyRef
val tail: T

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
HCons → HList
def toList: List[Any]

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

Definition Classes
HCons → 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( ... )
def →[B](y: B): (HCons[H, T], B)

Implicit information
This member is added by an implicit conversion from HCons[H, T] to ArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from HList

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HCons[H, T] to any2stringadd[HCons[H, T]]

Inherited by implicit conversion StringFormat from HCons[H, T] to StringFormat[HCons[H, T]]

Inherited by implicit conversion Ensuring from HCons[H, T] to Ensuring[HCons[H, T]]

Inherited by implicit conversion ArrowAssoc from HCons[H, T] to ArrowAssoc[HCons[H, T]]

Ungrouped

Related Docs: object HCons | package heterogeneous

final class HCons[+H, +T <: HList] extends HList

Instance Constructors

new HCons(head: H, tail: T)

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] = F[Self, T.Fold[U, F, Z]]

type Head = H

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 = HCons[H, T]

type Tail = T

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

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (HCons[H, T], B)

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]

def ensuring(cond: (HCons[H, T]) ⇒ Boolean, msg: ⇒ Any): HCons[H, T]

def ensuring(cond: (HCons[H, T]) ⇒ Boolean): HCons[H, T]

def ensuring(cond: Boolean, msg: ⇒ Any): HCons[H, T]

def ensuring(cond: Boolean): HCons[H, T]

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): Fold[U, F, Z]

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

def formatted(fmtstr: String): String

final def getClass(): Class[_]

final lazy val hashCode: Int

val head: H

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: HCons[H, T]

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

val tail: T

def toList: List[Any]

final def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (HCons[H, T], B)

Inherited from HList

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HCons[H, T] to any2stringadd[HCons[H, T]]

Inherited by implicit conversion StringFormat from HCons[H, T] to StringFormat[HCons[H, T]]

Inherited by implicit conversion Ensuring from HCons[H, T] to Ensuring[HCons[H, T]]

Inherited by implicit conversion ArrowAssoc from HCons[H, T] to ArrowAssoc[HCons[H, T]]

Ungrouped