Package fj.data.hlist

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