Class HPre.HAdd<A extends HPre.HNat<A>, B extends HPre.HNat<B>, C extends HPre.HNat<C>>

java.lang.Object

fj.data.hlist.HPre.HAdd<A,B,C>

Enclosing class:

HPre

public static final class HPre.HAdd<A extends HPre.HNat<A>, B extends HPre.HNat<B>, C extends HPre.HNat<C>>
extends Object

Type-level integer arithmetic

Field Summary

Fields

Modifier and Type	Field	Description
private final C	sum

Constructor Summary

Constructors

Modifier	Constructor	Description
private	HAdd(C sum)

Method Summary

Modifier and Type	Method	Description
static <N extends HPre.HNat<N>, M extends HPre.HNat<M>, R extends HPre.HNat<R>, H extends HPre.HAdd<N, HPre.HSucc<M>, R>> HPre.HAdd<HPre.HSucc<N>, HPre.HSucc<M>, HPre.HSucc<R>>	add(HPre.HSucc<N> a, HPre.HSucc<M> b, H h)	The sum of numbers a and b is one greater than the sum of b and the predecessor of a.
static <N extends HPre.HNat<N>> HPre.HAdd<HPre.HSucc<N>, HPre.HZero, HPre.HSucc<N>>	add(HPre.HSucc<N> a, HPre.HZero b)	The sum of zero and any other number is that number.
static <N extends HPre.HNat<N>> HPre.HAdd<HPre.HZero, HPre.HSucc<N>, HPre.HSucc<N>>	add(HPre.HZero a, HPre.HSucc<N> b)	The sum of zero and any other number is that number.
C	sum()

Methods inherited from class Object

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

Field Details

sum

private final C extends HPre.HNat<C> sum

Constructor Details

HAdd

private HAdd(C sum)

Method Details

sum

public C sum()

add

public static <N extends HPre.HNat<N>>
HPre.HAdd<HPre.HZero, HPre.HSucc<N>, HPre.HSucc<N>> add(HPre.HZero a,
 HPre.HSucc<N> b)

The sum of zero and any other number is that number.

add

public static <N extends HPre.HNat<N>>
HPre.HAdd<HPre.HSucc<N>, HPre.HZero, HPre.HSucc<N>> add(HPre.HSucc<N> a,
 HPre.HZero b)

The sum of zero and any other number is that number.

add

public static <N extends HPre.HNat<N>, M extends HPre.HNat<M>, R extends HPre.HNat<R>, H extends HPre.HAdd<N, HPre.HSucc<M>, R>>
HPre.HAdd<HPre.HSucc<N>, HPre.HSucc<M>, HPre.HSucc<R>> add(HPre.HSucc<N> a,
 HPre.HSucc<M> b,
 H h)

The sum of numbers a and b is one greater than the sum of b and the predecessor of a.