Class HList.HCons<E, L extends HList<L>>

java.lang.Object

fj.data.hlist.HList<HList.HCons<E,L>>

fj.data.hlist.HList.HCons<E,L>

Enclosing class:

HList<A extends HList<A>>

public static final class HList.HCons<E, L extends HList<L>>
extends HList<HList.HCons<E,L>>

The nonempty list

Nested Class Summary

Nested classes/interfaces inherited from class HList

HList.Apply<F$,A,R>, HList.HAppend<A,B,C>, HList.HCons<E,L>, HList.HFoldr<G,V,L,R>, HList.HNil

Field Summary

Fields

Modifier and Type	Field	Description
private final E	e
private final L	l

Constructor Summary

Constructors

Constructor	Description
HCons(E e, L l)

Method Summary

Modifier and Type	Method	Description
<X> HList.HCons<X, HList.HCons<E,L>>	extend(X e)	Extends (cons) this list by prepending the given element, returning a new list.
<X> HList.Apply<Unit, P2<X, HList.HCons<E,L>>, HList.HCons<X, HList.HCons<E,L>>>	extender()
E	head()
L	tail()

Methods inherited from class HList

cons, nil, single

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

e

private final E e

l

private final L extends HList<L> l

Constructor Details

HCons

HCons(E e,
 L l)

Method Details

head

public E head()

tail

public L tail()

extender

public <X>
HList.Apply<Unit, P2<X, HList.HCons<E,L>>, HList.HCons<X, HList.HCons<E,L>>> extender()

Specified by:

extender in class HList<HList.HCons<E, L extends HList<L>>>

extend

public <X> HList.HCons<X, HList.HCons<E,L>> extend(X e)

Description copied from class: HList

Extends (cons) this list by prepending the given element, returning a new list.

Specified by:

extend in class HList<HList.HCons<E, L extends HList<L>>>

Parameters:

e - an element to prepend to this list.

Returns:

a new heterogeneous list, consisting of the given element prepended to this list.