HList

Type Members

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

The type of prepending an element of type E to this HList
type :::[L <: HList] = :::.L.Fold[HList, PrependHead, Self]

The type of concatenating another HList with this HList
type Apply[N <: Nat] = Nat.Fold.Head

Get the type of the Nth element of this HList
type Drop[N <: Nat] = Drop.N.Fold[HList, TailOf, Self]

Drop the first N elements from this HList and return the resulting type
abstract type Fold[U, F[_ <: HList, _ <: U] <: U, Z <: U] <: U

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

The type of the first element
type HeadOf[T <: HList] = HeadOf.T.Head

Attributes
protected[this]
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]
type Length = Fold[Nat, IncrementForFold, _0]

Get the Nat type of the length of this HList
type PrependHead[X <: HList, Z <: HList] = HCons[PrependHead.X.Head, PrependHead.Z.Self]

Attributes
protected[this]
abstract type Self <: HList

The type of this HList object
abstract type Tail <: HList

The type of the tail of this HList
type TailOf[T <: HList] = TailOf.T.Tail

Attributes
protected[this]

Abstract Value Members

abstract 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.
abstract def head: Head

Get the first element, or throw a NoSuchElementException if this HList is empty.
abstract def nonEmpty: Boolean

Check if this HList is non-empty.
abstract def self: Self

Return this HList typed as Self/
abstract def tail: Tail

Get the tail of the list, or throw a NoSuchElementException if this HList is empty.
abstract def toList: List[Any]

Convert this HList to a List[Any].

Concrete 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 HList to any2stringadd[HList] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (HList, B)

Implicit information
This member is added by an implicit conversion from HList to ArrowAssoc[HList] 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.

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

Concatenate another HList to this HList, returning a new HList.
final def ==(arg0: Any): Boolean

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

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.
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.

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.
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.

Annotations
@inline()
def ensuring(cond: (HList) ⇒ Boolean, msg: ⇒ Any): HList

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

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

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

Implicit information
This member is added by an implicit conversion from HList to Ensuring[HList] 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] )
final def foreach(f: (Any) ⇒ Unit): Unit

Evaluate a function for each element of this HList.
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from HList to StringFormat[HList] 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
final def isEmpty: Boolean

Check if this list is empty.
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.

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

Definition Classes
AnyRef
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
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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): (HList, B)

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

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HList to any2stringadd[HList]

Inherited by implicit conversion StringFormat from HList to StringFormat[HList]

Inherited by implicit conversion Ensuring from HList to Ensuring[HList]

Inherited by implicit conversion ArrowAssoc from HList to ArrowAssoc[HList]

Ungrouped

Related Docs: object HList | package heterogeneous

sealed abstract class HList extends Product

Type Members

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

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

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

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

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

abstract type Head

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

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

type Length = Fold[Nat, IncrementForFold, _0]

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

abstract type Self <: HList

abstract type Tail <: HList

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

Abstract Value Members

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

abstract def head: Head

abstract def nonEmpty: Boolean

abstract def self: Self

abstract def tail: Tail

abstract def toList: List[Any]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (HList, 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: (HList) ⇒ Boolean, msg: ⇒ Any): HList

def ensuring(cond: (HList) ⇒ Boolean): HList

def ensuring(cond: Boolean, msg: ⇒ Any): HList

def ensuring(cond: Boolean): HList

final def eq(arg0: AnyRef): Boolean

final def equals(that: Any): Boolean

def finalize(): Unit

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

def formatted(fmtstr: String): String

final def getClass(): Class[_]

final lazy val hashCode: Int

final def isEmpty: Boolean

final def isInstanceOf[T0]: Boolean

final def length: Length

final def ne(arg0: AnyRef): 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

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

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): (HList, B)

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HList to any2stringadd[HList]

Inherited by implicit conversion StringFormat from HList to StringFormat[HList]

Inherited by implicit conversion Ensuring from HList to Ensuring[HList]

Inherited by implicit conversion ArrowAssoc from HList to ArrowAssoc[HList]

Ungrouped