Uses of Class
fj.data.hlist.HPre.HEq
-
Packages that use HPre.HEq Package Description fj.data.hlist Type-safe, extensible, heterogeneous lists -
-
Uses of HPre.HEq in fj.data.hlist
Methods in fj.data.hlist with type parameters of type HPre.HEq Modifier and Type Method Description static <N extends HPre.HNat<N>,NN extends HPre.HNat<NN>,B extends HPre.HBool,E extends HPre.HEq<N,NN,B>>
HPre.HEq<HPre.HSucc<N>,HPre.HSucc<NN>,B>HPre.HEq. eq(HPre.HSucc<N> a, HPre.HSucc<NN> b, E e)
A number is equal to another if their predecessors are equal.Methods in fj.data.hlist that return HPre.HEq Modifier and Type Method Description static <N extends HPre.HNat<N>,NN extends HPre.HNat<NN>,B extends HPre.HBool,E extends HPre.HEq<N,NN,B>>
HPre.HEq<HPre.HSucc<N>,HPre.HSucc<NN>,B>HPre.HEq. eq(HPre.HSucc<N> a, HPre.HSucc<NN> b, E e)
A number is equal to another if their predecessors are equal.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.
-