Package com.jnape.palatable.lambda.adt.hlist

Class HList.HCons<Head,Tail extends HList>

java.lang.Object

com.jnape.palatable.lambda.adt.hlist.HList

com.jnape.palatable.lambda.adt.hlist.HList.HCons<Head,Tail>

Type Parameters:

Head - the head element type

Tail - the HList tail type

Direct Known Subclasses:

SingletonHList, Tuple2, Tuple3, Tuple4, Tuple5, Tuple6, Tuple7, Tuple8

Enclosing class:

HList

public static class HList.HCons<Head,Tail extends HList>
extends HList

The consing of a head element to a tail HList.

Nested Class Summary

Nested classes/interfaces inherited from class com.jnape.palatable.lambda.adt.hlist.HList

HList.HCons<Head,Tail extends HList>, HList.HNil

Field Summary

Fields

Modifier and Type	Field	Description
private final Head	head
private final Tail	tail

Constructor Summary

Constructors

Constructor	Description
HCons(Head head, Tail tail)

Method Summary

Modifier and Type	Method	Description
<NewHead> HList.HCons<NewHead,? extends HList.HCons<Head,Tail>>	cons(NewHead newHead)	Cons an element onto the front of this HList.
final boolean	equals(Object other)
final int	hashCode()
Head	head()	The head element of the HList.
Tail	tail()	The remaining tail of the HList; returns an HNil if this is the last element.

Methods inherited from class com.jnape.palatable.lambda.adt.hlist.HList

cons, nil, singletonHList, toString, tuple, tuple, tuple, tuple, tuple, tuple, tuple

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

head

private final Head head

tail

private final Tail extends HList tail

Constructor Details

HCons

HCons(Head head,
 Tail tail)

Method Details

head

public Head head()

The head element of the HList.

Returns:

the head element

tail

public Tail tail()

The remaining tail of the HList; returns an HNil if this is the last element.

Returns:

the tail

cons

public <NewHead>
HList.HCons<NewHead,? extends HList.HCons<Head,Tail>> cons(NewHead newHead)

Description copied from class: HList

Cons an element onto the front of this HList.

Specified by:

cons in class HList

Type Parameters:

NewHead - the new head type

Parameters:

newHead - the new head element

Returns:

the updated HList

equals

public final boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object