Uses of Class
fj.data.hlist.HPre.HBool
-
Packages that use HPre.HBool Package Description fj.data.hlist Type-safe, extensible, heterogeneous lists -
-
Uses of HPre.HBool in fj.data.hlist
Classes in fj.data.hlist with type parameters of type HPre.HBool Modifier and Type Class Description static class
HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean conjunction.static class
HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean conjunction.static class
HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean conjunction.static class
HPre.HEq<X,Y,B extends HPre.HBool>
Type-level equality.static class
HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean disjunction.static class
HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean disjunction.static class
HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean disjunction.Subclasses of HPre.HBool in fj.data.hlist Modifier and Type Class Description static class
HPre.HFalse
Boolean falsestatic class
HPre.HTrue
Boolean trueFields in fj.data.hlist declared as HPre.HBool Modifier and Type Field Description private C
HPre.HAnd. v
private B
HPre.HEq. v
private C
HPre.HOr. v
Methods in fj.data.hlist with type parameters of type HPre.HBool 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.
-