Copyright 2008 - 2010 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.

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

java.lang.Object
  extended by 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


Method Summary
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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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.


Copyright 2008 - 2010 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.