Uses of Class
fj.data.hlist.HPre.HZero
-
Packages that use HPre.HZero Package Description fj.data.hlist Type-safe, extensible, heterogeneous lists -
-
Uses of HPre.HZero in fj.data.hlist
Methods in fj.data.hlist that return HPre.HZero Modifier and Type Method Description static HPre.HZero
HPre.HNat. hZero()
Methods in fj.data.hlist that return types with arguments of type HPre.HZero Modifier and Type Method Description static <N extends HPre.HNat<N>>
HPre.HAdd<HPre.HSucc<N>,HPre.HZero,HPre.HSucc<N>>HPre.HAdd. 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>>HPre.HAdd. add(HPre.HZero a, HPre.HSucc<N> b)
The sum of zero and any other number is that number.static <N extends HPre.HNat<N>>
HPre.HEq<HPre.HSucc<N>,HPre.HZero,HPre.HFalse>HPre.HEq. eq(HPre.HSucc<N> a, HPre.HZero b)
Zero is not equal to anything other than zero.static <N extends HPre.HNat<N>>
HPre.HEq<HPre.HZero,HPre.HSucc<N>,HPre.HFalse>HPre.HEq. eq(HPre.HZero a, HPre.HSucc<N> b)
Zero is not equal to anything other than zero.static HPre.HEq<HPre.HZero,HPre.HZero,HPre.HTrue>
HPre.HEq. eq(HPre.HZero a, HPre.HZero b)
Zero is equal to itself.static HPre.HEq<HPre.HZero,HPre.HZero,HPre.HTrue>
HPre.HEq. eq(HPre.HZero a, HPre.HZero b)
Zero is equal to itself.Show<HPre.HZero>
HPre.HZero. show()
Methods in fj.data.hlist with parameters of type HPre.HZero Modifier and Type Method Description static <N extends HPre.HNat<N>>
HPre.HAdd<HPre.HSucc<N>,HPre.HZero,HPre.HSucc<N>>HPre.HAdd. 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>>HPre.HAdd. add(HPre.HZero a, HPre.HSucc<N> b)
The sum of zero and any other number is that number.static <N extends HPre.HNat<N>>
HPre.HEq<HPre.HSucc<N>,HPre.HZero,HPre.HFalse>HPre.HEq. eq(HPre.HSucc<N> a, HPre.HZero b)
Zero is not equal to anything other than zero.static <N extends HPre.HNat<N>>
HPre.HEq<HPre.HZero,HPre.HSucc<N>,HPre.HFalse>HPre.HEq. eq(HPre.HZero a, HPre.HSucc<N> b)
Zero is not equal to anything other than zero.static HPre.HEq<HPre.HZero,HPre.HZero,HPre.HTrue>
HPre.HEq. eq(HPre.HZero a, HPre.HZero b)
Zero is equal to itself.
-