Uses of Class
fj.data.hlist.HPre.HBool
Packages that use HPre.HBool
-
Uses of HPre.HBool in fj.data.hlist
Classes in fj.data.hlist with type parameters of type HPre.HBoolModifier and TypeClassDescriptionstatic final class
HPre.HAnd<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean conjunction.static final class
HPre.HAnd<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean conjunction.static final class
HPre.HAnd<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean conjunction.static final class
HPre.HEq<X,
Y, B extends HPre.HBool> Type-level equality.static final class
HPre.HOr<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean disjunction.static final class
HPre.HOr<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean disjunction.static final 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.hlistModifier and TypeClassDescriptionstatic class
Boolean falsestatic class
Boolean trueFields in fj.data.hlist declared as HPre.HBoolModifier and TypeFieldDescriptionprivate final C
HPre.HAnd.v
private final B
HPre.HEq.v
private final C
HPre.HOr.v
Methods in fj.data.hlist with type parameters of type HPre.HBoolModifier and TypeMethodDescriptionstatic <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.