The type of prepending an element of type E to this HList
The type of concatenating another HList with this HList
Get the type of the Nth element of this HList
Drop the first N elements from this HList and return the resulting type
The type of a Fold operation on this HList
The type of the first element
Ignore X and increment Z by one (for counting with Fold)
Ignore X and increment Z by one (for counting with Fold)
Get the Nat type of the length of this HList
The type of this HList object
The type of the tail of this HList
Fold the elements of this HList.
Get the first element, or throw a NoSuchElementException if this HList is empty.
Check if this HList is non-empty.
Return this HList typed as Self
/
Get the tail of the list, or throw a NoSuchElementException if this HList is empty.
Convert this HList to a List[Any]
.
Prepend an element to this HList, returning a new HList.
Prepend an element to this HList, returning a new HList.
Concatenate another HList to this HList, returning a new HList.
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.
Return the nth element from this HList, using the correct return type.
Return the nth element from this HList, using the correct return type.
Drop the first n
elements from this HList.
Drop the first n
elements from this HList.
Drop the first n
elements from this HList.
Evaluate a function for each element of this HList.
Check if this list is empty.
Get the length of this list as a Nat
.
Get the length of this list as a Nat
.
Get the length of this list as an Int
.
Get the length of this list as an Int
.
(hList: StringAdd).self
(hList: StringFormat).self
(hList: ArrowAssoc[HList]).x
(Since version 2.10.0) Use leftOfArrow
instead
(hList: Ensuring[HList]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A heterogenous list where each element has its own type.