A
- The specific type of the list, as a subtype of HListpublic abstract class HList<A extends HList<A>>
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
HList.Apply<F$,A,R>
Type-level function application operators.
|
static class |
HList.HAppend<A,B,C>
The concatenation of two heterogeneous lists.
|
static class |
HList.HCons<E,L extends HList<L>>
The nonempty list
|
static class |
HList.HFoldr<G,V,L,R>
The catamorphism over heterogeneous lists.
|
static class |
HList.HNil
The empty list
|
Modifier and Type | Method and Description |
---|---|
static <E,L extends HList<L>> |
cons(E e,
L l)
Returns a heterogeneous list consisting of an element and another list.
|
abstract <E> HList.HCons<E,A> |
extend(E e)
Extends (cons) this list by prepending the given element, returning a new list.
|
abstract <E> HList.Apply<Unit,P2<E,A>,HList.HCons<E,A>> |
extender() |
static HList.HNil |
nil()
Returns the empty list.
|
static <E> HList.HCons<E,HList.HNil> |
single(E e)
Returns a heterogeneous list consisting of a single element.
|
public abstract <E> HList.HCons<E,A> extend(E e)
e
- an element to prepend to this list.public abstract <E> HList.Apply<Unit,P2<E,A>,HList.HCons<E,A>> extender()
public static HList.HNil nil()
public static <E,L extends HList<L>> HList.HCons<E,L> cons(E e, L l)
e
- an element to put in a list.l
- the rest of the list.public static <E> HList.HCons<E,HList.HNil> single(E e)
e
- an element to put in a list