fj.data.hlist

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 fj.data.hlist.HList

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

Method Summary

Modifier and Type	Method and 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 fj.data.hlist.HList

cons, nil, single

Methods inherited from class java.lang.Object

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

Method Detail

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.